| 1999 | Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. | Mary Lou Soffa |
| 1999 | Detecting Equalities of Variables: Combining Efficiency with Precision. | Oliver Rthing, Jens Knoop, Bernhard Steffen |
| 1999 | Model-Checking: A Tutorial Introduction. | Markus Mller-Olm, David A. Schmidt, Bernhard Steffen |
| 1999 | Abstracting Cryptographic Protocols with Tree Automata. | David Monniaux |
| 1999 | On the Complexity Analysis of Static Analyses. | David A. McAllester |
| 1999 | Binary Decision Graphs. | Laurent Mauborgne |
| 1999 | Eliminating Dead Code on Recursive Data. | Yanhong A. Liu, Scott D. Stoller |
| 1999 | A New Class of Functions for Abstract Interpretation. | Jrg Kller, Markus Mohnen |
| 1999 | Dynamic Partitioning in Analyses of Numerical Properties. | Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond |
| 1999 | Freeness Analysis Through Linear Refinement. | Patricia M. Hill, Fausto Spoto |
| 1999 | A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. | John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng |
| 1999 | Abstract Interpretation of Mobile Ambients. | Ren Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson |
| 1999 | Equational Semantics. | Loc Correnson, tienne Duris, Didier Parigot, Gilles Roussel |
| 1999 | Abstract Animator for Temporal Specifications: Application to TLA. | Dominique Cansell, Dominique Mry |
| 1999 | State Space Reduction Based on Live Variables Analysis. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu |
| 1999 | Polyhedral Analysis for Synchronous Languages. | Frdric Besson, Thomas P. Jensen, Jean-Pierre Talpin |
| 1999 | Binding-Time Analysis for Both Static and Dynamic Expressions. | Kenichi Asai |
| 1999 | Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. | Jonathan Aldrich, Craig Chambers, Emin Gn Sirer, Susan J. Eggers |
| 1998 | A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. | Paolo Volpe |
| 1998 | Automatic Determination of Communication Topologies in Mobile Systems. | Arnaud Venet |
| 1998 | Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. | Mohamed Tadjouddine, F. Eyssette, C. Faure |
| 1998 | Program Analysis | David A. Schmidt, Bernhard Steffen |
| 1998 | Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. | Vivek Sarkar, Kathleen Knobe |
| 1998 | Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. | Oliver Rthing |
| 1998 | Analysis of Imperative Programs through Analysis of Constraint Logic Programs. | Julio C. Peralta, John P. Gallagher, Hseyin Saglam |