| 1995 | A Symbolic Constraint Solving Framework for Analysis of Logic Programs. C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |
| 1995 | Abstract Interpretation and Low-Level Code Optimization. Saumya K. Debray |
| 1995 | Action Transformation by Partial Evaluation. Kyung-Goo Doh |
| 1995 | Analyzing the Communication Topology of Concurrent Programs. Christopher Colby |
| 1995 | Caching Intermediate Results for Program Improvement. Yanhong A. Liu, Tim Teitelbaum |
| 1995 | Clock Analysis of Synchronous Dataflow Programs. Thomas P. Jensen |
| 1995 | Effect Systems with Subtyping. Yan Mei Tang, Pierre Jouvelot |
| 1995 | Higher Order Expression Procedures. David Sands |
| 1995 | Implementation of Multiple Specialization in Logic Programs. Germán Puebla, Manuel V. Hermenegildo |
| 1995 | Polyvariant Constructor Specialisation. Dirk Dussart, Eddy Bevers, Karel De Vlaminck |
| 1995 | Polyvariant Specialisation for Higher-Order, Block-Structured Languages. Karoline Malmkjær, Peter Ørbæk |
| 1995 | Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995 Neil D. Jones |
| 1995 | Proving Properties of Programs Defined over Recursive Data Structures. Daniel Le Métayer |
| 1995 | Schedulers as Abstract Interpreter of Higher Dimensional Automata. Eric Goubault |
| 1995 | Self-applicable Online Partial Evaluation of Pure Lambda Calculus. Torben Æ. Mogensen |
| 1995 | Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking. Régis Cridlig |
| 1995 | Semantic Foundations of Binding Time Analysis for Imperative Programs. Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck |
| 1995 | Semantic models and abstract interpretation techniques for inductive data structures and pointers Alain Deutsch |
| 1995 | Shape Analysis as a Generalized Path Problem. Thomas W. Reps |
| 1995 | Special Address: MIX ten years after. Neil D. Jones |
| 1995 | The Essence of LR Parsing. Michael Sperber, Peter Thiemann |
| 1995 | The Replacement Operation for CLP Modules. Sandro Etalle, Maurizio Gabbrielli |
| 1995 | Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters. Michael Leuschel, Danny De Schreye |
| 1995 | Type Analysis of Logic Programs in the Presence of Type Definitions. Lunjin Lu |
| 1995 | Using Abstract Interpretation to Define a Strictness Type Inference System. Bruno Monsuez |