SAS 2006

27 papers

1. Abstract Interpretation with Specialized Definitions · Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2. Abstract Regular Tree Model Checking of Complex Dynamic Data Structures · Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
3. Analysis of Low-Level Code Using Cooperating Decompilers · Bor-Yuh Evan Chang, Matthew Harren, George C. Necula
4. Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm · Alexey Loginov, Thomas W. Reps, Mooly Sagiv
5. Beyond Iteration Vectors: Instancewise Relational Abstract Domains · Pierre Amiranoff, Albert Cohen, Paul Feautrier
6. Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic · Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
7. Catching and Identifying Bugs in Register Allocation · Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
8. Certificate Translation for Optimizing Compilers · Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
9. Combining Widening and Acceleration in Linear Relation Analysis · Laure Gonnord, Nicolas Halbwachs
10. Cryptographically-Masked Flows · Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
11. Existential Label Flow Inference Via CFL Reachability · Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
12. Interprocedural Shape Analysis with Separated Heap Abstractions · Alexey Gotsman, Josh Berdine, Byron Cook
13. Memory Leak Analysis by Contradiction · Maksim Orlovich, Radu Rugina
14. Parametric and Termination-Sensitive Control Dependence · Feng Chen, Grigore Rosu
15. Path-Sensitive Dataflow Analysis with Iterative Refinement · Dinakar Dhurjati, Manuvir Das, Yue Yang
16. Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems · Julien Bertrane
17. Recency-Abstraction for Heap-Allocated Storage · Gogul Balakrishnan, Thomas W. Reps
18. Separation Logic and Program Analysis · Peter W. O'Hearn
19. Shape Analysis for Low-Level Code · Hongseok Yang
20. Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding · Gilad Arnold
21. Static Analysis for Java Servlets and JSP · Christian Kirkegaard, Anders Møller
22. Static Analysis in Disjunctive Numerical Domains · Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta
23. Static Analysis of Numerical Algorithms · Eric Goubault, Sylvie Putot
24. Static Analysis of String Manipulations in Critical Embedded C Programs · Xavier Allamigeon, Wenceslas Godard, Charles Hymans
25. Structural Invariants · Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
26. Underapproximating Predicate Transformers · David A. Schmidt
27. Unleashing the Power of Static Analysis · Manuvir Das