kirancodes.me
To Proof Maintenance & Beyond!
Venues / PLDI /

PLDI 1994

30 papers

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