| 1995 | Shape Analysis as a Generalized Path Problem. | Thomas W. Reps |
| 1995 | A Symbolic Constraint Solving Framework for Analysis of Logic Programs. | C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |
| 1995 | Implementation of Multiple Specialization in Logic Programs. | Germn Puebla, Manuel V. Hermenegildo |
| 1995 | Using Abstract Interpretation to Define a Strictness Type Inference System. | Bruno Monsuez |
| 1995 | Self-applicable Online Partial Evaluation of Pure Lambda Calculus. | Torben . Mogensen |
| 1995 | Proving Properties of Programs Defined over Recursive Data Structures. | Daniel Le Mtayer |
| 1995 | Polyvariant Specialisation for Higher-Order, Block-Structured Languages. | Karoline Malmkjr, Peter rbk |
| 1995 | Type Analysis of Logic Programs in the Presence of Type Definitions. | Lunjin Lu |
| 1995 | Caching Intermediate Results for Program Improvement. | Yanhong A. Liu, Tim Teitelbaum |
| 1995 | Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters. | Michael Leuschel, Danny De Schreye |
| 1995 | Special Address: MIX ten years after. | Neil D. Jones |
| 1995 | Clock Analysis of Synchronous Dataflow Programs. | Thomas P. Jensen |
| 1995 | Schedulers as Abstract Interpreter of Higher Dimensional Automata. | Eric Goubault |
| 1995 | The Replacement Operation for CLP Modules. | Sandro Etalle, Maurizio Gabbrielli |
| 1995 | Polyvariant Constructor Specialisation. | Dirk Dussart, Eddy Bevers, Karel De Vlaminck |
| 1995 | Action Transformation by Partial Evaluation. | Kyung-Goo Doh |
| 1995 | Semantic models and abstract interpretation techniques for inductive data structures and pointers | Alain Deutsch |
| 1995 | Abstract Interpretation and Low-Level Code Optimization. | Saumya K. Debray |
| 1995 | Semantic Foundations of Binding Time Analysis for Imperative Programs. | Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck |
| 1995 | Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking. | Rgis Cridlig |
| 1995 | Analyzing the Communication Topology of Concurrent Programs. | Christopher Colby |
| 1994 | Higher-Order Redundancy Elimination. | Peter Thiemann |
| 1994 | Lightweight Run-Time Code Generation. | Mark Leone, Peter Lee |
| 1994 | Dictionary-Free Overloading by Partial Evaluation. | Mark P. Jones |
| 1994 | Improving Programs Which Recurse over Multiple Inductive Structures. | Leonidas Fegaras, Tim Sheard, Tong Zhou |