SAS14 Accepted Papers

Louis Mandel and Cédric Pasteur. Reactivity of Cooperative Systems
Magnus Madsen and Anders Møller. Sparse Dataflow Analysis with Pointers and Reachability
Antoine Toubhans, Bor-Yuh Evan Chang and Xavier Rival. An Abstract Domain Combinator for Separately Conjoining Memory Abstractions
Parosh Aziz Abdulla, Lukas Holik and Frédéric Haziza. Block Me If You Can! (Context-Sensitive Parameterized Verification)
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur and Ji Wang. An Abstract Domain to Infer Octagonal Constraints with Absolute Value
Yuri Meshman, Andrei Marian Dan, Martin Vechev and Eran Yahav. Synthesis of Memory Fences via Refinement Propagation
Caterina Urban and Antoine Miné. A Decision Tree Abstract Domain for Proving Conditional Termination
Sen Ye, Yulei Sui and Jingling Xue. Region-based Selective Flow-Sensitive Pointer Analysis
Elvira Albert, Jesús Correas Fernández and Guillermo Román-Díez. Peak Cost Analysis of Distributed Systems
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang and Farn Wang. Verifying Recursive Programs using Intraprocedural Analyzers
David Monniaux and Peter Schrammel. Speeding up Logico-numerical Strategy Iteration
Frédéric Besson, Thomas Jensen and Pierre Vittet. SawjaCard: a Static Analysis Tool for Certifying Java Card Applications
Woosuk Lee, Hakjoo Oh and Kwangkeun Yi. A Progress Bar for Static Analyzers
Guillaume Iooss, Christophe Alias and Sanjay Rajopadhye. On Program Equivalence with Reductions
Arlen Cox, Bor-Yuh Evan Chang and Xavier Rival. Automatic Analysis of Open Objects in Dynamic Language Programs
James Brotherston and Nikos Gorogiannis. Cyclic Abduction of Inductively Defined Safety and Termination Preconditions
Alexey Bakhirkin, Josh Berdine and Nir Piterman. Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction
Aleksandar Chakarov and Sriram Sankaranarayanan. Expectation Invariants for Probabilistic Program Loops as Fixed Points
Roopsha Samanta, Oswaldo Olivo and E. Allen Emerson. Cost-aware Automatic Program Repair
Khalil Ghorbal, Andrew Sogokon and André Platzer. Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations