| 2003 | Precise Analysis of String Expressions. | Aske Simon Christensen, Anders Mller, Michael I. Schwartzbach |
| 2003 | Static Analysis of Accessed Regions in Recursive Data Structures. | Stephen Chong, Radu Rugina |
| 2003 | Code Compaction of Matching Single-Entry Multiple-Exit Regions. | Wen-Ke Chen, Bengu Li, Rajiv Gupta |
| 2003 | Stack Size Analysis for Interrupt-Driven Programs. | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg |
| 2003 | Message Analysis for Concurrent Languages. | Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson |
| 2003 | Checking Interference with Fractional Permissions. | John Boyland |
| 2003 | Modular Class Analysis with DATALOG. | Frdric Besson, Thomas P. Jensen |
| 2003 | A Logic for Analyzing Abstractions of Graph Transformation Systems. | Paolo Baldan, Barbara Knig, Bernhard Knig |
| 2003 | Precise Widening Operators for Convex Polyhedra. | Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella |
| 2003 | Computer-Assisted Verification of a Protocol for Certified Email. | Martn Abadi, Bruno Blanchet |
| 2002 | Security Typings by Abstract Interpretation. | Mirko Zanotti |
| 2002 | Automated Verification of Concurrent Linked Lists with Counters. | Tuba Yavuz-Kahveci, Tevfik Bultan |
| 2002 | An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages. | John Whaley, Monica S. Lam |
| 2002 | Nonuniform Alias Analysis of Recursive Data Structures and Arrays. | Arnaud Venet |
| 2002 | Guaranteed Optimization: Proving Nullspace Properties of Compilers. | Todd L. Veldhuizen, Andrew Lumsdaine |
| 2002 | More Precise Yet Efficient Type Inference for Logic Programs. | Claudio Vaucheret, Francisco Bueno |
| 2002 | On Termination of Logic Programs with Floating Point Computations. | Alexander Serebrenik, Danny De Schreye |
| 2002 | Securing Communication in a Concurrent Language. | Andrei Sabelfeld, Heiko Mantel |
| 2002 | Improving the Precision of Equality-Based Dataflow Analyses. | Erik Ruf |
| 2002 | Static Program Analysis via 3-Valued Logic. | Thomas W. Reps |
| 2002 | Making Abstract Model Checking Strongly Preserving. | Francesco Ranzato, Francesco Tapparo |
| 2002 | Modular Control Flow Analysis for Libraries. | Christian W. Probst |
| 2002 | Analysing Approximate Confinement under Uniform Attacks. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2002 | Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
| 2002 | Polynomial Constants Are Decidable. | Markus Mller-Olm, Helmut Seidl |