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

PLDI 1989

31 papers

  1. A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques · G. A. Venkatesh
  2. A Fresh Look at Combinator Graph Reduction · Philip J. Koopman Jr., Peter Lee
  3. A Language for Writing Code Generators · Christopher W. Fraser
  4. A Technique for Summarizing Data Access and Its Use in Parallelism Enhancing Transformations · Vasanth Balasundaram, Ken Kennedy
  5. A VHDL Compiler Based on Attribute Grammar Methodology · Rodney Farrow, Alec G. Stanculescu
  6. An LR Substring Parser for Noncorrecting Syntax Error Recovery · Gordon V. Cormack
  7. Automatic Generation of DAG Parallelism · Ron Cytron, Michael Hind, Wilson C. Hsieh
  8. BEG - A Generator for Efficient Back Ends · Helmut Emmelmann, Friedrich-Wilhelm Schröer, Rudolf Landwehr
  9. Coloring Heuristics for Register Allocation · Preston Briggs, Keith D. Cooper, Ken Kennedy, Linda Torczon
  10. Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language · Craig Chambers, David M. Ungar
  11. Demonic Memories for Process Histories · Paul R. Wilson, Thomas G. Moher
  12. Dependence Analysis for Pointer Variables · Susan Horwitz, Phil Pfeiffer, Thomas W. Reps
  13. Determining Average Program Execution Times and their Variance · Vivek Sarkar
  14. Experience with CST: Programming and Implementation · Waldemar Horwat, Andrew A. Chien, William J. Dally
  15. Experiences Creating a Portable Cedar · Russell R. Atkinson, Alan J. Demers, Carl Hauser, Christian Jacobi, Peter Kessler, Mark D. Weiser
  16. Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme · Benjamin Goldberg
  17. Higher-Order Attribute Grammars · Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
  18. Incremental Generation of Parsers · Jan Heering, Paul Klint, J. Rekers
  19. Inline Function Expansion for Compiling C Programs · Wen-mei W. Hwu, Pohua P. Chang
  20. Mul-T: A High-Performance Parallel Lisp · David A. Kranz, Robert H. Halstead Jr., Eric Mohr
  21. On-The-Fly Detection of Access Anomalies · Edith Schonberg
  22. Parallel Compilation for a Parallel Machine · Thomas R. Gross, Angelika Zobel, Markus Zolg
  23. Process Decomposition Through Locality of Reference · Anne Rogers, Keshav Pingali
  24. Reasoning about Continuations with Control Effects · Pierre Jouvelot, David K. Gifford
  25. Register Allocation via Clique Separators · Rajiv Gupta, Mary Lou Soffa, Tim Steele
  26. Scannerless NSLR(1) Parsing of Programming Languages · Daniel J. Salomon, Gordon V. Cormack
  27. Spill Code Minimization Techniques for Optimizing Compilers · David Bernstein, Dina Q. Goldin, Martin Charles Golumbic, Hugo Krawczyk, Yishay Mansour, Itai Nahshon + 1 more
  28. The Semantics of Program Dependence · Robert Cartwright, Matthias Felleisen
  29. Type Inference in the Presence of Type Abstraction · Hans-Juergen Boehm
  30. Type Reconstruction with First-Class Polymorphic Values · James W. O'Toole Jr., David K. Gifford
  31. Unified Management of Registers and Cache Using Liveness and Cache Bypass · Chi-Hung Chi, Henry G. Dietz