| 1998 | A Symbolic Semantics for Abstract Model Checking. | Francesca Levi |
| 1998 | On the Power of Homeomorphic Embedding for Online Termination. | Michael Leuschel |
| 1998 | Certifying, Optimizing Compilation (Abstract). | Peter Lee |
| 1998 | Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. | Michael Hind, Anthony Pioli |
| 1998 | The Correctness of Set-Sharing. | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
| 1998 | Refining Static Analyses by Trace-Based Partitioning Using Control Flow. | Maria Handjieva, Stanislav Tzolovski |
| 1998 | On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. | Masami Hagiya, Akihiko Tozawa |
| 1998 | A New Solution to the Hidden Copy Problem. | Deepak Goyal, Robert Paige |
| 1998 | Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing. | Valrie Gouranton |
| 1998 | Building Complete Abstract Interpretations in a Linear Logic-based Setting. | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari |
| 1998 | A Tutorial on Domain Theory in Abstract Interpretation. | Roberto Giacobazzi |
| 1998 | Analysis of Normal Logic Programs. | Franois Fages, Roberta Gori |
| 1998 | Finite Subtype Inference with Explicit Polymorphism. | Dominic Duggan |
| 1998 | Directional Type Inference for Logic Programs. | Witold Charatonik, Andreas Podelski |
| 1998 | Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
| 1998 | Improving Control in Functional Logic Program Specialization. | Elvira Albert, Mara Alpuente, Moreno Falaschi, Pascual Julin Iranzo, Germn Vidal |
| 1997 | Denotational Abstract Interpretation of Functional Logic Programs. | Frank Zartmann |
| 1997 | Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. | Kwangkeun Yi, Sukyoung Ryu |
| 1997 | Fast and Effective Procedure Inlining. | Oscar Waddell, R. Kent Dybvig |
| 1997 | Coalescing Conditional Branches into Efficient Indirect Jumps. | Gang-Ryung Uh, David B. Whalley |
| 1997 | Data Dependence as Abstract Interpretations. | Stanislav Tzolovski |
| 1997 | Set-Based Analysis for Logic Programming and Tree Automata. | Jean-Marc Talbot, Sophie Tison, Philippe Devienne |
| 1997 | Termination Analysis for Mercury. | Chris Speirs, Zoltan Somogyi, Harald Sndergaard |
| 1997 | The Effects of the Precision of Pointer Analysis. | Marc Shapiro, Susan Horwitz |
| 1997 | Logical Optimality of Groundness Analysis. | Francesca Scozzari |