11. SAS 2004: Verona, Italy

Roberto Giacobazzi (Ed.): Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings. Lecture Notes in Computer Science 3148 Springer 2004, ISBN 3-540-22791-1 BibTeX

Invited Talks

Ehud Y. Shapiro:
Injecting Life with Computers. 1
Electronic Edition (link) BibTeX
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The Blast Query Language for Software Verification.. 2-18
Electronic Edition (link) BibTeX
Yannis Smaragdakis:
Program Generators and the Tools to Make Them. 19-20
Electronic Edition (link) BibTeX
Sheila A. McIlraith:
Towards Declarative Programming for Web Services. 21
Electronic Edition (link) BibTeX

David A. Schmidt:
Closed and Logical Relations for Over- and Under-Approximation of Powersets. 22-37
Electronic Edition (link) BibTeX
Mila Dalla Preda:
Completeness Refinement in Abstract Symbolic Trajectory Evaluation. 38-52
Electronic Edition (link) BibTeX
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Constraint-Based Linear-Relations Analysis. 53-68
Electronic Edition (link) BibTeX
Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard:
Spatial Analysis of BioAmbients. 69-83
Electronic Edition (link) BibTeX

Qi Sun, Anindya Banerjee, David A. Naumann:
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language. 84-99
Electronic Edition (link) BibTeX
Torben Amtoft, Anindya Banerjee:
Information Flow Analysis in Logical Form. 100-115
Electronic Edition (link) BibTeX
Cormac Flanagan, Stephen N. Freund:
Type Inference Against Races. 116-132
Electronic Edition (link) BibTeX

Suan Hsi Yong, Susan Horwitz:
Pointer-Range Analysis. 133-148
Electronic Edition (link) BibTeX
Arnaud Venet:
A Scalable Nonuniform Pointer Analysis for Embedded Programs. 149-164
Electronic Edition (link) BibTeX
Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu:
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis. 165-180
Electronic Edition (link) BibTeX

Sarah Thompson, Alan Mycroft:
Abstract Interpretation of Combinational Asynchronous Circuits. 181-196
Electronic Edition (link) BibTeX
Charles Hymans, Eben Upton:
Static Analysis of Gated Data Dependence Graphs. 197-211
Electronic Edition (link) BibTeX
Sumit Gulwani, George C. Necula:
A Polynomial-Time Algorithm for Global Value Numbering. 212-227
Electronic Edition (link) BibTeX
Radu Rugina:
Shape Analysis Quantitative Shape Analysis. 228-245
Electronic Edition (link) BibTeX
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv:
A Relational Approach to Interprocedural Shape Analysis. 246-264
Electronic Edition (link) BibTeX
Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field:
Partially Disjunctive Heap Abstraction. 265-279
Electronic Edition (link) BibTeX

Enric Rodríguez-Carbonell, Deepak Kapur:
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. 280-295
Electronic Edition (link) BibTeX
Michael Colón:
Approximating the Algebraic Relational Semantics of Imperative Programs. 296-311
Electronic Edition (link) BibTeX
Robert Clarisó, Jordi Cortadella:
The Octahedron Abstract Domain. 312-327
Electronic Edition (link) BibTeX
Sumit Gulwani, George C. Necula:
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. 328-343
Electronic Edition (link) BibTeX

Marius Bozga, Radu Iosif, Yassine Lakhnech:
On Logics of Aliasing. 344-360
Electronic Edition (link) BibTeX
Viktor Kuncak, Martin C. Rinard:
Generalized Records and Spatial Conjunction in Role Logic. 361-376
Electronic Edition (link) BibTeX

Étienne Payet, Frédéric Mesnard:
Non-termination Inference for Constraint Logic Programs. 377-392
Electronic Edition (link) BibTeX