| 1994 | Flow Grammars - a Flow Analysis Methodology. | James S. Uhl, R. Nigel Horspool |
| 1994 | Compiling Nested Loops for Limited Connectivity VLIWs. | Adrian Slowik, Georg Piepenbrock, Peter Pfahler |
| 1994 | Coupling Evaluators for Attribute Coupled Grammars. | Gilles Roussel, Didier Parigot, Martin Jourdan |
| 1994 | Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. | Johan Ringstrm, Peter Fritzson, Mikael Pettersson |
| 1994 | Solving Demand Versions of Interprocedural Analysis Problems. | Thomas W. Reps |
| 1994 | Developing Efficient Interpreters Based on Formal Language Specifications. | Arnd Poetzsch-Heffter |
| 1994 | A Practical Approach to the Symbolic Debugging of Parallelized Code. | Patricia Prather Pineo, Mary Lou Soffa |
| 1994 | Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k). | Terence John Parr, Russell W. Quong |
| 1994 | OASIS: An Optimizing Action-Based Compiler Generator. | Peter rbk |
| 1994 | Action Transformations in the ACTRESS Compiler Generator. | Hermano P. Moura, David A. Watt |
| 1994 | Compile Time Instruction Cache Optimizations. | Abraham Mendlson, Shlomit S. Pinter, Ruth Shtokhamer |
| 1994 | Instruction Schedulimg over Regions: A Framework for Scheduling Across Basic Blocks. | Uma Mahadevan, Sridhar Ramakrishnan |
| 1994 | Provable Correctness of Prototype Interpreters in LDL. | Ralf Lmmel, Gnter Riedewald |
| 1994 | Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler. | Justiani, Laurie J. Hendren |
| 1994 | On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. | Gerda Janssens, Wim Simoens |
| 1994 | Transport-Triggering versus Operation-Triggering. | Jan Hoogerbrugge, Henk Corporaal |
| 1994 | Efficient Organization of Control Structures in Distributed Implementations. | Guido Hogen, Rita Loogen |
| 1994 | An Overview of Door Attribute Grammars. | Grel Hedin |
| 1994 | Towards the Global Optimization of Functional Logic Programs. | Michael Hanus |
| 1994 | A Portable and Optimizing Back End for the SML/NJ Compiler. | Lal George, Florent Guillame, John H. Reppy |
| 1994 | Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. | Martin Frnzle, Markus Mller-Olm |
| 1994 | Global Code Selection of Directed Acyclic Graphs. | Andreas Fauth, Gnter Hommel, Alois C. Knoll, Carsten Mller |
| 1994 | Delayed Exceptions - Speculative Execution of Trapping Instructions. | M. Anton Ertl, Andreas Krall |
| 1994 | Reducing the Cost of Data Flow Analysis By Congruence Partitioning. | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
| 1994 | A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter. | Thomas E. Cheatham, Haiming Gao, Dan C. Stefanescu |