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