SAS 2009

23 papers

1. A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination · David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris
2. Abstract Interpretation from a Topological Perspective · David A. Schmidt
3. Abstract Interpretation of FIFO Replacement · Daniel Grund, Jan Reineke
4. Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology · Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
5. Abstraction Refinement for Quantified Array Assertions · Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies
6. Algorithmic Program Synthesis with Partial Programs and Decision Procedures · Rastislav Bodík
7. Algorithmic Verification of Systems Software Using SMT Solvers · Shaz Qadeer
8. Automatic Parallelization and Optimization of Programs by Proof Rewriting · Clément Hurlin
9. Bottom-Up Shape Analysis · Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori
10. Creating Transformations for Matrix Obfuscation · Stephen Drape, Irina Voiculescu
11. Increasing the Scope and Resolution of Interprocedural Static Single Assignment · Silvian Calman, Jianwen Zhu
12. Inferring Dataflow Properties of User Defined Table Processors · Songtao Xia, Manuel Fähndrich, Francesco Logozzo
13. Inter-program Properties · Andrei Voronkov, Iman Narasamdya
14. Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships · Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
15. Invariant Checking for Programs with Procedure Calls · Guillem Godoy, Ashish Tiwari
16. Optimizing Pointer Analysis Using Bisimilarity · Luke Simon
17. Polymorphic Fractional Capabilities · Hirotoshi Yasuoka, Tachio Terauchi
18. Proving the Correctness of the Implementation of a Control-Command Algorithm · Olivier Bouissou
19. Refinement of Trace Abstraction · Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
20. Region Analysis for Race Detection · Helmut Seidl, Vesal Vojdani
21. The Causal Graph Revisited for Directed Model Checking · Martin Wehrle, Malte Helmert
22. The Complexity of Andersen's Analysis in Practice · Manu Sridharan, Stephen J. Fink
23. Type Analysis for JavaScript · Simon Holm Jensen, Anders Møller, Peter Thiemann