SAS 2004

27 papers

1. A Polynomial-Time Algorithm for Global Value Numbering · Sumit Gulwani, George C. Necula
2. A Relational Approach to Interprocedural Shape Analysis · Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
3. A Scalable Nonuniform Pointer Analysis for Embedded Programs · Arnaud Venet
4. Abstract Interpretation of Combinational Asynchronous Circuits · Sarah Thompson, Alan Mycroft
5. An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants · Enric Rodríguez-Carbonell, Deepak Kapur
6. Approximating the Algebraic Relational Semantics of Imperative Programs · Michael Colón
7. Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis · Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
8. Closed and Logical Relations for Over- and Under-Approximation of Powersets · David A. Schmidt
9. Completeness Refinement in Abstract Symbolic Trajectory Evaluation · Mila Dalla Preda
10. Constraint-Based Linear-Relations Analysis · Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
11. Generalized Records and Spatial Conjunction in Role Logic · Viktor Kuncak, Martin C. Rinard
12. Information Flow Analysis in Logical Form · Torben Amtoft, Anindya Banerjee
13. Injecting Life with Computers · Ehud Shapiro
14. Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language · Qi Sun, Anindya Banerjee, David A. Naumann
15. Non-termination Inference for Constraint Logic Programs · Étienne Payet, Frédéric Mesnard
16. On Logics of Aliasing · Marius Bozga, Radu Iosif, Yassine Lakhnech
17. Partially Disjunctive Heap Abstraction · Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
18. Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions · Sumit Gulwani, George C. Necula
19. Pointer-Range Analysis · Suan Hsi Yong, Susan Horwitz
20. Program Generators and the Tools to Make Them · Yannis Smaragdakis
21. Shape Analysis Quantitative Shape Analysis · Radu Rugina
22. Spatial Analysis of BioAmbients · Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
23. Static Analysis of Gated Data Dependence Graphs · Charles Hymans, Eben Upton
24. The Blast Query Language for Software Verification · Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
25. The Octahedron Abstract Domain · Robert Clarisó, Jordi Cortadella
26. Towards Declarative Programming for Web Services · Sheila A. McIlraith
27. Type Inference Against Races · Cormac Flanagan, Stephen N. Freund