| 2001 | A Behavioral Module System for the Pi-Calculus. Sriram K. Rajamani, Jakob Rehof |
| 2001 | A Type and Effect Analysis of Security Protocols. Andrew D. Gordon, Alan Jeffrey |
| 2001 | Abstract Interpretation-Based Static Analysis of Mobile Ambients. Jérôme Feret |
| 2001 | Abstracting Cryptographic Protocols by Prolog Rules. Bruno Blanchet |
| 2001 | An Abstract Analysis of the Probabilistic Termination of Programs. David Monniaux |
| 2001 | An Abstract Interpretation Framework for Analysing Mobile Ambients. Francesca Levi, Sergio Maffeis |
| 2001 | Analysis of Multithreaded Programs. Martin C. Rinard |
| 2001 | Analyzing Fair Parametric Extended Automata. Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu |
| 2001 | Applications of Extended Static Checking. K. Rustan M. Leino |
| 2001 | Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. Frédéric Mesnard, Ulrich Neumerkel |
| 2001 | Cleanness Checking of String Manipulations in C Programs via Integer Analysis. Nurit Dor, Michael Rodeh, Shmuel Sagiv |
| 2001 | Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau |
| 2001 | Effective Strictness Analysis with HORN Constraints. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann |
| 2001 | Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses. Donglin Liang, Mary Jean Harrold |
| 2001 | Embedding Chaos. Natalia Sidorova, Martin Steffen |
| 2001 | Estimating the Impact of Scalable Pointer Analysis on Optimization. Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof |
| 2001 | Finite-Tree Analysis for Constraint Logic-Based Languages. Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
| 2001 | Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. Roberto Giacobazzi, Elisa Quintarelli |
| 2001 | Language-Based Security: What's Needed and Why. Fred B. Schneider |
| 2001 | Parameterizing a Groundness Analysis of Logic Programs. Lunjin Lu |
| 2001 | Parametric Optimization of Open Real-Time Systems. Farn Wang, Hsu-Chun Yen |
| 2001 | Security-Typed Languages and Distributed Computation. Andrew C. Myers |
| 2001 | Soft Scheduling for Hardware. Richard Sharp, Alan Mycroft |
| 2001 | Solving Regular Tree Grammar Based Constraints. Yanhong A. Liu, Ning Li, Scott D. Stoller |
| 2001 | Static Analyses of the Precision of Floating-Point Operations. Eric Goubault |
| 2001 | Static Analysis and Software Assurance. David A. Wagner |
| 2001 | Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings Patrick Cousot |
| 2001 | Using Slicing to Identify Duplication in Source Code. Raghavan Komondoor, Susan Horwitz |
| 2001 | Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. Fausto Spoto |