| 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 | A New Class of Functions for Abstract Interpretation. Jörg Köller, Markus Mohnen |
| 1999 | Abstract Animator for Temporal Specifications: Application to TLA. Dominique Cansell, Dominique Méry |
| 1999 | Abstract Interpretation of Mobile Ambients. René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson |
| 1999 | Abstracting Cryptographic Protocols with Tree Automata. David Monniaux |
| 1999 | Binary Decision Graphs. Laurent Mauborgne |
| 1999 | Binding-Time Analysis for Both Static and Dynamic Expressions. Kenichi Asai |
| 1999 | Decomposing Non-redundant Sharing by Complementation. Enea Zaffanella, Patricia M. Hill, Roberto Bagnara |
| 1999 | Detecting Equalities of Variables: Combining Efficiency with Precision. Oliver Rüthing, Jens Knoop, Bernhard Steffen |
| 1999 | Dynamic Partitioning in Analyses of Numerical Properties. Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond |
| 1999 | Eliminating Dead Code on Recursive Data. Yanhong A. Liu, Scott D. Stoller |
| 1999 | Equational Semantics. Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel |
| 1999 | Freeness Analysis Through Linear Refinement. Patricia M. Hill, Fausto Spoto |
| 1999 | Model-Checking: A Tutorial Introduction. Markus Müller-Olm, David A. Schmidt, Bernhard Steffen |
| 1999 | On the Complexity Analysis of Static Analyses. David A. McAllester |
| 1999 | Partial Dead Code Elimination Using Extended Value Graph. Munehiro Takimoto, Kenichi Harada |
| 1999 | Polyhedral Analysis for Synchronous Languages. Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin |
| 1999 | Safety versus Secrecy. Dennis M. Volpano |
| 1999 | State Space Reduction Based on Live Variables Analysis. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu |
| 1999 | Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers |
| 1999 | Static Analysis of Mega-Programs. Daniel Weise |
| 1999 | Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings Agostino Cortesi, Gilberto Filé |
| 1999 | Translating Out of Static Single Assignment Form. Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies, Vatsa Santhanam |
| 1999 | Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. Mary Lou Soffa |