| 2003 | A Logic for Analyzing Abstractions of Graph Transformation Systems. Paolo Baldan, Barbara König, Bernhard König |
| 2003 | Abstract Interpretation of Programs as Markov Decision Processes. David Monniaux |
| 2003 | Cartesian Factoring of Polyhedra in Linear Relation Analysis. Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux |
| 2003 | Checking Interference with Fractional Permissions. John Boyland |
| 2003 | Class-Level Modular Analysis for Object Oriented Languages. Francesco Logozzo |
| 2003 | Client-Driven Pointer Analysis. Samuel Z. Guyer, Calvin Lin |
| 2003 | Code Compaction of Matching Single-Entry Multiple-Exit Regions. Wen-Ke Chen, Bengu Li, Rajiv Gupta |
| 2003 | Computer-Assisted Verification of a Protocol for Certified Email. Martín Abadi, Bruno Blanchet |
| 2003 | Continuation-Based Partial Evaluation without Continuations. Peter Thiemann |
| 2003 | Craig Interpolation and Reachability Analysis. Kenneth L. McMillan |
| 2003 | Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv |
| 2003 | Existential Heap Abstraction Entailment Is Undecidable. Viktor Kuncak, Martin C. Rinard |
| 2003 | Inserting Safe Memory Reuse Commands into ML-Like Programs. Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2003 | Instantaneous Termination in Pure Esterel. Olivier Tardieu, Robert de Simone |
| 2003 | Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications. Priya Unnikrishnan, Guangyu Chen, Mahmut T. Kandemir, Mustafa Karaköy, Ibrahim Kolcu |
| 2003 | Message Analysis for Concurrent Languages. Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson |
| 2003 | Modular Class Analysis with DATALOG. Frédéric Besson, Thomas P. Jensen |
| 2003 | Precise Analysis of String Expressions. Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach |
| 2003 | Precise Widening Operators for Convex Polyhedra. Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella |
| 2003 | Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García |
| 2003 | Selective Tail Call Elimination. Yasuhiko Minamide |
| 2003 | Stack Size Analysis for Interrupt-Driven Programs. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg |
| 2003 | Static Analysis of Accessed Regions in Recursive Data Structures. Stephen Chong, Radu Rugina |
| 2003 | Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings Radhia Cousot |
| 2003 | Type Systems for Distributed Data Sharing. Ben Liblit, Alex Aiken, Katherine A. Yelick |
| 2003 | Typestate Verification: Abstraction Techniques and Complexity Results. John Field, Deepak Goyal, G. Ramalingam, Eran Yahav |
| 2003 | Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. Thomas W. Reps, Stefan Schwoon, Somesh Jha |
| 2003 | Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. Ted Kremenek, Dawson R. Engler |