| 2002 | A Few Graph-Based Relational Numerical Abstract Domains. Antoine Miné |
| 2002 | An Algebraic Approach to the Static Analysis of Concurrent Software. Javier Esparza |
| 2002 | An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages. John Whaley, Monica S. Lam |
| 2002 | An Improved Constraint-Based System for the Verification of Security Protocols. Ricardo Corin, Sandro Etalle |
| 2002 | Analysing Approximate Confinement under Uniform Attacks. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2002 | Automated Verification of Concurrent Linked Lists with Counters. Tuba Yavuz-Kahveci, Tevfik Bultan |
| 2002 | Backward Type Inference Generalises Type Checking. Lunjin Lu, Andy King |
| 2002 | Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation. Charles Hymans |
| 2002 | Compactly Representing First-Order Structures for Static Analysis. Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv |
| 2002 | Detecting Optimal Termination Conditions of Logic Programs. Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel |
| 2002 | Finiteness Analysis in Polynomial Time. Chin Soon Lee |
| 2002 | From Secrecy to Authenticity in Security Protocols. Bruno Blanchet |
| 2002 | Guaranteed Optimization: Proving Nullspace Properties of Compilers. Todd L. Veldhuizen, Andrew Lumsdaine |
| 2002 | Improving the Precision of Equality-Based Dataflow Analyses. Erik Ruf |
| 2002 | Making Abstract Model Checking Strongly Preserving. Francesco Ranzato, Francesco Tapparo |
| 2002 | Modular Control Flow Analysis for Libraries. Christian W. Probst |
| 2002 | More Precise Yet Efficient Type Inference for Logic Programs. Claudio Vaucheret, Francisco Bueno |
| 2002 | Nonuniform Alias Analysis of Recursive Data Structures and Arrays. Arnaud Venet |
| 2002 | Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
| 2002 | On Termination of Logic Programs with Floating Point Computations. Alexander Serebrenik, Danny De Schreye |
| 2002 | Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. Robert J. Hall |
| 2002 | Pipeline Modeling for Timing Analysis. Marc Langenbach, Stephan Thesing, Reinhold Heckmann |
| 2002 | Polynomial Constants Are Decidable. Markus Müller-Olm, Helmut Seidl |
| 2002 | Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill |
| 2002 | Refinement of LTL Formulas for Abstract Model Checking. María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
| 2002 | Representation Analysis for Coercion Placement. Karl-Filip Faxén |
| 2002 | Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. Bertrand Jeannet |
| 2002 | Reuse of Results in Termination Analysis of Typed Logic Programs. Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof |
| 2002 | Securing Communication in a Concurrent Language. Andrei Sabelfeld, Heiko Mantel |
| 2002 | Security Typings by Abstract Interpretation. Mirko Zanotti |
| 2002 | Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties. Damien Massé |
| 2002 | Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer |
| 2002 | States vs. Traces in Model Checking by Abstract Interpretation. Roberto Giacobazzi, Francesco Ranzato |
| 2002 | Static Analysis of the Numerical Stability of Loops. Matthieu Martel |
| 2002 | Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings Manuel V. Hermenegildo, Germán Puebla |
| 2002 | Static Program Analysis via 3-Valued Logic. Thomas W. Reps |