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

PLDI 1997

31 papers

  1. A Member Lookup Algorithm for C++ · G. Ramalingam, Harini Srinivasan
  2. A New Algorithm for Partial Redundancy Elimination based on SSA Form · Fred C. Chow, Sun Chan, Robert Kennedy, Shin-Ming Liu, Raymond Lo, Peng Tu
  3. Aggressive Inlining · Andrew Ayers, Robert Gottlieb, Richard Schooler
  4. Automatic Inline Allocation of Objects · Julian Dolby
  5. Automatic Verification of Pointer Programs using Monadic Second-Order Logic · Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach
  6. Call-Cost Directed Register Allocation · Guei-Yuan Lueh, Thomas R. Gross
  7. Code Compression · Jens Ernst, William S. Evans, Christopher W. Fraser, Steven Lucco, Todd A. Proebsting
  8. Componential Set-Based Analysis · Cormac Flanagan, Matthias Felleisen
  9. Data Distribution Support on Distributed Shared Memory Multiprocessors · Rohit Chandra, Ding-Kai Chen, Robert Cox, Dror E. Maydan, Nenad Nedeljkovic, Jennifer-Ann M. Anderson
  10. Data-centric Multi-level Blocking · Induprakas Kodukula, Nawaaz Ahmed, Keshav Pingali
  11. Dynamic Feedback: An Effective Technique for Adaptive Computing · Pedro C. Diniz, Martin C. Rinard
  12. Efficient Formulation for Optimal Modulo Schedulers · Alexandre E. Eichenberger, Edward S. Davidson
  13. Efficient Procedure Mapping Using Cache Line Coloring · Amir H. Hashemi, David R. Kaeli, Brad Calder
  14. Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling · Glenn Ammons, Thomas Ball, James R. Larus
  15. Fine-grain Multithreading with Minimal Compiler Support - A Cost Effective Approach to Implementing Efficient Multithreading Languages · Kenjiro Taura, Akinori Yonezawa
  16. Flick: A Flexible, Optimizing IDL Compiler · Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom
  17. Generational Garbage Collection and the Radioactive Decay Model · William D. Clinger, Lars Thomas Hansen
  18. Incremental Analysis of real Programming Languages · Tim A. Wagner, Susan L. Graham
  19. Interprocedural Conditional Branch Elimination · Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
  20. Interprocedural Dataflow Analysis in an Executable Optimizer · David W. Goodwin
  21. Linear-time Subtransitive Control Flow Analysis · Nevin Heintze, David A. McAllester
  22. Module-Sensitive Program Specialisation · Dirk Dussart, Rogardt Heldal, John Hughes
  23. Near-optimal Intraprocedural Branch Alignment · Cliff Young, David S. Johnson, David R. Karger, Michael D. Smith
  24. Partial Dead Code Elimination using Slicing Transformations · Rastislav Bodík, Rajiv Gupta
  25. Program Analysis Using Binary Relations · Adam Brooks Webber
  26. Register Promotion in C Programs · Keith D. Cooper, John Lu
  27. Reverse Interpretation + Mutation Analysis = Automatic Retargeting · Christian S. Collberg
  28. Simple Translation of Goal-Directed Evaluation · Todd A. Proebsting
  29. Spill Code Minimization via Interference Region Spilling · Peter Bergner, Peter Dahl, David Engebretsen, Matthew T. O'Keefe
  30. Two for the Price of One: Composing Partial Evaluation and Compilation · Michael Sperber, Peter Thiemann
  31. tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation · Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek