| 2001 | Language-Based Security: What's Needed and Why. | Fred B. Schneider |
| 2001 | Analysis of Multithreaded Programs. | Martin C. Rinard |
| 2001 | A Behavioral Module System for the Pi-Calculus. | Sriram K. Rajamani, Jakob Rehof |
| 2001 | Security-Typed Languages and Distributed Computation. | Andrew C. Myers |
| 2001 | An Abstract Analysis of the Probabilistic Termination of Programs. | David Monniaux |
| 2001 | Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. | Frdric Mesnard, Ulrich Neumerkel |
| 2001 | Parameterizing a Groundness Analysis of Logic Programs. | Lunjin Lu |
| 2001 | Solving Regular Tree Grammar Based Constraints. | Yanhong A. Liu, Ning Li, Scott D. Stoller |
| 2001 | Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses. | Donglin Liang, Mary Jean Harrold |
| 2001 | An Abstract Interpretation Framework for Analysing Mobile Ambients. | Francesca Levi, Sergio Maffeis |
| 2001 | Applications of Extended Static Checking. | K. Rustan M. Leino |
| 2001 | Using Slicing to Identify Duplication in Source Code. | Raghavan Komondoor, Susan Horwitz |
| 2001 | Static Analyses of the Precision of Floating-Point Operations. | Eric Goubault |
| 2001 | A Type and Effect Analysis of Security Protocols. | Andrew D. Gordon, Alan Jeffrey |
| 2001 | Effective Strictness Analysis with HORN Constraints. | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann |
| 2001 | Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. | Roberto Giacobazzi, Elisa Quintarelli |
| 2001 | Abstract Interpretation-Based Static Analysis of Mobile Ambients. | Jrme Feret |
| 2001 | Cleanness Checking of String Manipulations in C Programs via Integer Analysis. | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
| 2001 | Estimating the Impact of Scalable Pointer Analysis on Optimization. | Manuvir Das, Ben Liblit, Manuel Fhndrich, Jakob Rehof |
| 2001 | Analyzing Fair Parametric Extended Automata. | Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu |
| 2001 | Abstracting Cryptographic Protocols by Prolog Rules. | Bruno Blanchet |
| 2001 | Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. | Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau |
| 2001 | Finite-Tree Analysis for Constraint Logic-Based Languages. | Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
| 2000 | Concurrency Analysis for Java. | Cristian Ungureanu, Suresh Jagannathan |
| 2000 | Abstract Domains for Sharing Analysis by Optimal Semantics. | Francesca Scozzari |