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

PLDI 1988

33 papers

  1. A Mechanism for Efficient Debugging of Parallel Programs · Barton P. Miller, Jong-Deok Choi
  2. A Piggy-back Compiler For Prolog · J. L. Weiner, S. Ramakrishnan
  3. A Portable Global Optimizer and Linker · Manuel E. Benitez, Jack W. Davidson
  4. An Automatically Generated, Realistic Compiler for an Imperative Programming Language · Uwe F. Pleban, Peter Lee
  5. An Efficient Approach to Data Flow Analysis in a Multi Pass Global Optimizer · Suneel Jain, Carol L. Thompson
  6. An Optimizer for Ada - Design, Experiences and Results · Birgit Schwarz, Walter Kirchgässner, Rudolf Landwehr
  7. Anatomy of a Hardware Compiler · Kurt Keutzer, Wayne H. Wolf
  8. Automatic Generation of Fast Optimizing Code Generators · Christopher W. Fraser, Alan L. Wendt
  9. Compiling C for Vectorization, Parallelization, and Inline Expansion · Randy Allen, Steve Johnson
  10. Control-Flow Analysis in Scheme · Olin Shivers
  11. DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code · Deborah S. Coutant, Sue Meloy, Michelle Ruscetta
  12. Debugging Concurrent Processes: A Case Study · Janice M. Stone
  13. Design and Implementation of the UW Illustrated Compiler · Kristy Andrews, Robert R. Henry, Wayne K. Yamamoto
  14. Detecting Conflicts Between Structure Accesses · James R. Larus, Paul N. Hilfinger
  15. Grammatical Abstraction and Incremental Syntax Analysis in a Language-Based Editor · Robert A. Ballance, Jacob Butcher, Susan L. Graham
  16. Higher-Order Abstract Syntax · Frank Pfenning, Conal Elliott
  17. INC: A Language for Incremental Computations · Daniel M. Yellin, Robert E. Strom
  18. Incremental Evaluation for a General Class of Circular Attribute Grammars · Janet A. Walz, Gregory F. Johnson
  19. Interprocedural Side-Effect Analysis in Linear Time · Keith D. Cooper, Ken Kennedy
  20. Interprocedural Slicing Using Dependence Graphs · Susan Horwitz, Thomas W. Reps, David W. Binkley
  21. Minimizing Register Usage Penalty at Procedure Calls · Fred C. Chow
  22. Multiprocessor Smalltalk: A Case Study of a Multiprocessor-Based Programming Environment · Joseph Pallas, David M. Ungar
  23. Optimal Loop Parallelization · Alexander Aiken, Alexandru Nicolau
  24. Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems · Barbara Liskov, Liuba Shrira
  25. Real-Time Concurrent Collection on Stock Multiprocessors · Andrew W. Appel, John R. Ellis, Kai Li
  26. Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages · John R. Rose
  27. Register Windows versus Register Allocation · David W. Wall
  28. Safety Considerations for Storage Allocation Optimizations · David R. Chase
  29. Semantic Analysis in a Concurrent Compiler · V. Seshadri, David B. Wortman, Michael D. Junkin, S. Weber, C. P. Yu, I. Small
  30. Software Pipelining: An Effective Scheduling Technique for VLIW Machines · Monica Lam
  31. Synchronous Operations as First-Class Values · John H. Reppy
  32. The Program Summary Graph and Flow-Sensitive InterproceduralData Flow Analysis · David Callahan
  33. Unfold/Fold Transformations and Loop Optimization of Logic Programs · Saumya K. Debray