SAS 2014

20 papers

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