| 1995 | Partitioning Non-strict Functional Languages for Multi-threaded Code Generation | Satyan R. Coorg |
| 1995 | Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data | Christopher Colby |
| 1995 | Optimality in Abstractions of Model Checking | Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich |
| 1995 | Generation of Efficient Interprocedural Analyzers with PAG | Martin Helmut Alt, Florian Martin |
| 1994 | Compile-time Detection of Uncaught Exceptions in Standard ML Programs. | Kwangkeun Yi |
| 1994 | Efficient FixPoint Computation. | Bart Vergauwen, J. Wauman, Johan Lewi |
| 1994 | Selective Thunkification. | Paul Steckler, Mitchell Wand |
| 1994 | Strictness and Totality Analysis. | Kirsten Lackner Solberg |
| 1994 | Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation. | Frank Mueller, David B. Whalley |
| 1994 | Abstract Interpretation Using TDGs. | Laurent Mauborgne |
| 1994 | Extended Analysis of Data Fields. | Bjrn Lisper, Jean-Francois Collard |
| 1994 | Mechanical Elimination of Commutative Redundancy. | Hessam Khoshnevisan, Mohamad Afshar |
| 1994 | Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration. | Niels Jrgensen |
| 1994 | Efficient Strictness Analysis of Haskell. | Kristian Damm Jensen, Peter Hjresen, Mads Rosendahl |
| 1994 | Iterative Fixed Point Computation for Type-Based Strictness Analysis. | Fritz Henglein |
| 1994 | From Processor Timing Specifications to Static Intruction Scheduling. | Ed Harcourt, Jon Mauney, Todd A. Cook |
| 1994 | Mode Analysis of Functional Logic Programs | Michael Hanus, Frank Zartmann |
| 1994 | A Type-based Framework for Program Analysis. | Chris Hankin, Daniel Le Mtayer |
| 1994 | Verification of Linear Hybrid Systems by Means of Convex Approximations. | Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond |
| 1994 | About Synchronous Programming and Abstract Interpretation. | Nicolas Halbwachs |
| 1994 | Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. | Daniel Cabeza Gras, Manuel V. Hermenegildo |
| 1994 | Generalized Boxings, Congruences and Partial Inlining. | Jean Goubault |
| 1994 | Generating Transformers for Deforestation and Supercompilation. | Robert Glck, Jesper Jrgensen |
| 1994 | The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization | Thomas W. Getzinger |
| 1994 | Uniqueness and Completeness Analysis of Array Comprehensions. | David A. Garza-Salazar, A. P. Wim Bhm |