| 1994 | A Portable and Optimizing Back End for the SML/NJ Compiler. Lal George, Florent Guillame, John H. Reppy |
| 1994 | A Practical Approach to the Symbolic Debugging of Parallelized Code. Patricia Prather Pineo, Mary Lou Soffa |
| 1994 | A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter. Thomas E. Cheatham, Haiming Gao, Dan C. Stefanescu |
| 1994 | Action Transformations in the ACTRESS Compiler Generator. Hermano P. Moura, David A. Watt |
| 1994 | Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k). Terence John Parr, Russell W. Quong |
| 1994 | An Overview of Door Attribute Grammars. Görel Hedin |
| 1994 | Compile Time Instruction Cache Optimizations. Abraham Mendlson, Shlomit S. Pinter, Ruth Shtokhamer |
| 1994 | Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings Peter Fritzson |
| 1994 | Compiling Nested Loops for Limited Connectivity VLIWs. Adrian Slowik, Georg Piepenbrock, Peter Pfahler |
| 1994 | Cosy Compiler Phase Embedding with the CoSy Compiler Model. Martin Helmut Alt, Uwe Aßmann, Hans van Someren |
| 1994 | Coupling Evaluators for Attribute Coupled Grammars. Gilles Roussel, Didier Parigot, Martin Jourdan |
| 1994 | Delayed Exceptions - Speculative Execution of Trapping Instructions. M. Anton Ertl, Andreas Krall |
| 1994 | Developing Efficient Interpreters Based on Formal Language Specifications. Arnd Poetzsch-Heffter |
| 1994 | Efficient Organization of Control Structures in Distributed Implementations. Guido Hogen, Rita Loogen |
| 1994 | Flow Grammars - a Flow Analysis Methodology. James S. Uhl, R. Nigel Horspool |
| 1994 | Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. Johan Ringström, Peter Fritzson, Mikael Pettersson |
| 1994 | Global Code Selection of Directed Acyclic Graphs. Andreas Fauth, Günter Hommel, Alois C. Knoll, Carsten Müller |
| 1994 | Implementing 2DT on a Multiprocessor. Yosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster |
| 1994 | Instruction Schedulimg over Regions: A Framework for Scheduling Across Basic Blocks. Uma Mahadevan, Sridhar Ramakrishnan |
| 1994 | Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. David W. Binkley |
| 1994 | OASIS: An Optimizing Action-Based Compiler Generator. Peter Ørbæk |
| 1994 | On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. Gerda Janssens, Wim Simoens |
| 1994 | Processing Array Statements and Procedure Interfaces in the PREPARE High Performance Fortran Compiler. Siegfried Benkner, Peter Brezany, Hans P. Zima |
| 1994 | Provable Correctness of Prototype Interpreters in LDL. Ralf Lämmel, Günter Riedewald |
| 1994 | Reducing the Cost of Data Flow Analysis By Congruence Partitioning. Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
| 1994 | Solving Demand Versions of Interprocedural Analysis Problems. Thomas W. Reps |
| 1994 | Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler. Justiani, Laurie J. Hendren |
| 1994 | Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. Martin Fränzle, Markus Müller-Olm |
| 1994 | Towards the Global Optimization of Functional Logic Programs. Michael Hanus |
| 1994 | Transport-Triggering versus Operation-Triggering. Jan Hoogerbrugge, Henk Corporaal |