| 2005 | Memory Usage Verification for OO Programs. | Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard |
| 2005 | Memory Space Conscious Loop Iteration Duplication for Reliable Execution. | Guilin Chen, Mahmut T. Kandemir, Mustafa Karaky |
| 2005 | Inference of Well-Typings for Logic Programs with Application to Termination Analysis. | Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck |
| 2005 | Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. | Roberto Bagnara, Enric Rodrguez-Carbonell, Enea Zaffanella |
| 2005 | Widening Operators for Weakly-Relational Numeric Abstractions. | Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella |
| 2005 | Algorithmic Game Semantics and Static Analysis. | Samson Abramsky |
| 2004 | Pointer-Range Analysis. | Suan Hsi Yong, Susan Horwitz |
| 2004 | A Scalable Nonuniform Pointer Analysis for Embedded Programs. | Arnaud Venet |
| 2004 | Abstract Interpretation of Combinational Asynchronous Circuits. | Sarah Thompson, Alan Mycroft |
| 2004 | Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language. | Qi Sun, Anindya Banerjee, David A. Naumann |
| 2004 | Program Generators and the Tools to Make Them. | Yannis Smaragdakis |
| 2004 | Injecting Life with Computers. | Ehud Shapiro |
| 2004 | Closed and Logical Relations for Over- and Under-Approximation of Powersets. | David A. Schmidt |
| 2004 | Constraint-Based Linear-Relations Analysis. | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna |
| 2004 | Shape Analysis Quantitative Shape Analysis. | Radu Rugina |
| 2004 | An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. | Enric Rodrguez-Carbonell, Deepak Kapur |
| 2004 | Completeness Refinement in Abstract Symbolic Trajectory Evaluation. | Mila Dalla Preda |
| 2004 | Non-termination Inference for Constraint Logic Programs. | tienne Payet, Frdric Mesnard |
| 2004 | Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis. | Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu |
| 2004 | Spatial Analysis of BioAmbients. | Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard |
| 2004 | Towards Declarative Programming for Web Services. | Sheila A. McIlraith |
| 2004 | Partially Disjunctive Heap Abstraction. | Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field |
| 2004 | Generalized Records and Spatial Conjunction in Role Logic. | Viktor Kuncak, Martin C. Rinard |
| 2004 | A Relational Approach to Interprocedural Shape Analysis. | Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv |
| 2004 | Static Analysis of Gated Data Dependence Graphs. | Charles Hymans, Eben Upton |