13. SAS 2006: Seoul, Korea

Kwangkeun Yi (Ed.): Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings. Lecture Notes in Computer Science 4134 Springer 2006, ISBN 3-540-37756-5 BibTeX

Invited Talk

Manuvir Das:
Unleashing the Power of Static Analysis. 1-2
Electronic Edition (link) BibTeX

Session 1

Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta:
Static Analysis in Disjunctive Numerical Domains. 3-17
Electronic Edition (link) BibTeX
Eric Goubault, Sylvie Putot:
Static Analysis of Numerical Algorithms. 18-34
Electronic Edition (link) BibTeX
Xavier Allamigeon, Wenceslas Godard, Charles Hymans:
Static Analysis of String Manipulations in Critical Embedded C Programs. 35-51
Electronic Edition (link) BibTeX

Session 2

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar:
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. 52-70
Electronic Edition (link) BibTeX
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu:
Structural Invariants. 71-87
Electronic Edition (link) BibTeX
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks:
Existential Label Flow Inference Via CFL Reachability. 88-106
Electronic Edition (link) BibTeX

Session 3

Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Abstract Interpretation with Specialized Definitions. 107-126
Electronic Edition (link) BibTeX
David A. Schmidt:
Underapproximating Predicate Transformers. 127-143
Electronic Edition (link) BibTeX
Laure Gonnord, Nicolas Halbwachs:
Combining Widening and Acceleration in Linear Relation Analysis. 144-160
Electronic Edition (link) BibTeX
Pierre Amiranoff, Albert Cohen, Paul Feautrier:
Beyond Iteration Vectors: Instancewise Relational Abstract Domains. 161-180
Electronic Edition (link) BibTeX

Invited Talk

Peter W. O'Hearn:
Separation Logic and Program Analysis. 181
Electronic Edition (link) BibTeX
Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang:
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. 182-203
Electronic Edition (link) BibTeX

Session 4

Gilad Arnold:
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. 204-220
Electronic Edition (link) BibTeX
Gogul Balakrishnan, Thomas W. Reps:
Recency-Abstraction for Heap-Allocated Storage. 221-239
Electronic Edition (link) BibTeX
Alexey Gotsman, Josh Berdine, Byron Cook:
Interprocedural Shape Analysis with Separated Heap Abstractions. 240-260
Electronic Edition (link) BibTeX
Alexey Loginov, Thomas W. Reps, Mooly Sagiv:
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. 261-279
Electronic Edition (link) BibTeX

Invited Talk

Hongseok Yang:
Shape Analysis for Low-Level Code. 280
Electronic Edition (link) BibTeX

Session 5

Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa:
Catching and Identifying Bugs in Register Allocation. 281-300
Electronic Edition (link) BibTeX
Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk:
Certificate Translation for Optimizing Compilers. 301-317
Electronic Edition (link) BibTeX
Bor-Yuh Evan Chang, Matthew Harren, George C. Necula:
Analysis of Low-Level Code Using Cooperating Decompilers. 318-335
Electronic Edition (link) BibTeX

Session 6

Christian Kirkegaard, Anders Møller:
Static Analysis for Java Servlets and JSP. 336-352
Electronic Edition (link) BibTeX
Aslan Askarov, Daniel Hedin, Andrei Sabelfeld:
Cryptographically-Masked Flows. 353-369
Electronic Edition (link) BibTeX
Julien Bertrane:
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems. 370-386
Electronic Edition (link) BibTeX

Session 7

Feng Chen, Grigore Rosu:
Parametric and Termination-Sensitive Control Dependence. 387-404
Electronic Edition (link) BibTeX
Maksim Orlovich, Radu Rugina:
Memory Leak Analysis by Contradiction. 405-424
Electronic Edition (link) BibTeX
Dinakar Dhurjati, Manuvir Das, Yue Yang:
Path-Sensitive Dataflow Analysis with Iterative Refinement. 425-442
Electronic Edition (link) BibTeX