| 1994 | A General Data Dependence Test for Dynamic, Pointer-Based Data Structures. Joseph Hummel, Laurie J. Hendren, Alexandru Nicolau |
| 1994 | ATOM - A System for Building Customized Program Analysis Tools. Amitabh Srivastava, Alan Eustace |
| 1994 | Accurate Static Estimators for Program Optimization. Tim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison |
| 1994 | Backtracking without Trailing in CLP(R Pascal Van Hentenryck, Viswanath Ramachandran |
| 1994 | Cache Performance of Garbage-Collected Programs. Mark B. Reinhold |
| 1994 | Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. Maryam Emami, Rakesh Ghiya, Laurie J. Hendren |
| 1994 | Counting Solutions to Presburger Formulas: How and Why. William W. Pugh |
| 1994 | Debugging of Globally Optimized Programs Using Data Flow Analysis. Roland Wismüller |
| 1994 | Division by Invariant Integers using Multiplication. Torbjörn Granlund, Peter L. Montgomery |
| 1994 | Effective Partial Redundancy Elimination. Preston Briggs, Keith D. Cooper |
| 1994 | Efficient Detection of All Pointer and Array Access Errors. Todd M. Austin, Scott E. Breach, Gurindar S. Sohi |
| 1994 | GIVE-N-TAKE - A Balanced Code Placement Framework. Reinhard von Hanxleden, Ken Kennedy |
| 1994 | Improving Semi-static Branch Prediction by Code Replication. Andreas Krall |
| 1994 | Interprocedural May-Alias Analysis for Pointers: Beyond Alain Deutsch |
| 1994 | Is Continuation-Passing Useful for Data Flow Analysis? Amr Sabry, Matthias Felleisen |
| 1994 | Lazy Functional State Threads. John Launchbury, Simon L. Peyton Jones |
| 1994 | Link-Time Optimization of Address Calculation on a 64-bit Architecture. Amitabh Srivastava, David W. Wall |
| 1994 | Memory Access Coalescing: A technique for Eliminating Redundant memory Accesses. Jack W. Davidson, Sanjay Jinturkar |
| 1994 | On Slicing Programs with Jump Statements. Hiralal Agrawal |
| 1994 | Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs. Robert H. B. Netzer, Mark H. Weaver |
| 1994 | Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback. Urs Hölzle, David M. Ungar |
| 1994 | Parallelizing Complex Scans and Reductions. Allan L. Fisher, Anwar M. Ghuloum |
| 1994 | Partial Dead Code Elimination. Jens Knoop, Oliver Rüthing, Bernhard Steffen |
| 1994 | Precise Compile-Time Performance Prediction for Superscalar-Based Computers. Ko-Yang Wang |
| 1994 | Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994 Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa |
| 1994 | Separate Compilation for Standard ML. Andrew W. Appel, David B. MacQueen |
| 1994 | The Program Structure Tree: Computing Control Regions in Linear Time. Richard Johnson, David Pearson, Keshav Pingali |
| 1994 | Type Analysis of Prolog Using Type Graphs. Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier |
| 1994 | VLIW Compilation Techniques in a Superscalar Environment. Kemal Ebcioglu, Randy D. Groves, Ki-Chang Kim, Gabriel M. Silberman, Isaac Ziv |
| 1994 | Zero-cost Range Splitting. Steven M. Kurlander, Charles N. Fischer |
| 1994 | register Allocation over the Program Dependence Graph. Cindy Norris, Lori L. Pollock |