| 1993 | Improving Abstract Interpretations by Combining Domains. | Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1993 | Towards an Automated Tupling Strategy. | Wei-Ngan Chin |
| 1993 | Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain | Baudouin Le Charlier, Pascal Van Hentenryck |
| 1993 | Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer. | Mikhail A. Bulyonkov |
| 1993 | Binding-Time Analysis and the Taming of C Pointers. | Lars Ole Andersen |
| 1992 | Call Unfolding Strategies for Equational Logic Programs. | David J. Sherman, Robert Strandh |
| 1992 | A Polyvariant Binding Time Analysis. | Bernhard Rytz, Marc Gengler |
| 1992 | Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. | Erik Ruf, Daniel Weise |
| 1992 | Self-applicable Partial Evaluation for Pure Lambda Calculus. | Torben . Mogensen |
| 1992 | Predicting Properties of Residual Programs. | Karoline Malmkjr |
| 1992 | Towards a New Perspective on Partial Evaluation. | Morry Katz, Daniel Weise |
| 1992 | Towards Efficient Compilation of a Dynamic Object-Oriented Language. | Sheila Harnett, Margaret Montenyohl |
| 1992 | A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. | John Field |
| 1992 | Semantical Interprocedural Analysis by Partial Symbolic Evaluation. | Babak Dehbonei, Pierre Jouvelot |
| 1992 | A Programming Environment for Binding-time Based Partial Evaluators. | Charles Consel, Satish Pai |
| 1992 | Fully Lazy Higher-Order Removal. | Wei-Ngan Chin |
| 1992 | A Suite of Optimizers Based on Abstract Interpretation. | Thomas E. Cheatham, Dan C. Stefanescu |
| 1992 | Program Transformation by Derivor Manipulations. | C. T. P. Burton |
| 1992 | A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. | Khaled Bsaes |
| 1992 | Speedup Analysis in Partial Evaluation: Preliminary Results. | Lars Ole Andersen, Carsten K. Gomard |
| 1992 | Self-applicable C Program Specialization. | Lars Ole Andersen |
| 1991 | Is There a Use for Linear Logic? | Philip Wadler |
| 1991 | Generalized Partial Computation for a Lazy Functional Language. | Akihiko Takano |
| 1991 | Building Incremental Programs using Partial Evaluation. | R. S. Sundaresh |
| 1991 | Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages. | Donald A. Smith |