PLDI 2001

30 papers

1. A Framework for Reducing the Cost of Instrumented Code · Matthew Arnold, Barbara G. Ryder
2. A Parallel, Real-Time Garbage Collector · Perry Cheng, Guy E. Blelloch
3. A Unified Framework for Schedule and Storage Optimization · William Thies, Frédéric Vivien, Jeffrey Sheldon, Saman P. Amarasinghe
4. Asynchronous Exceptions in Haskell · Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy
5. Automatic Predicate Abstraction of C Programs · Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
6. Bytecode Compression via Profiled Grammar Rewriting · William S. Evans, Christopher W. Fraser
7. Composing High-Performance Memory Allocators · Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley
8. Demand-Driven Pointer Analysis · Nevin Heintze, Olivier Tardieu
9. Design and Implementation of Generics for the .NET Common Language Runtime · Andrew Kennedy, Don Syme
10. Dynamic Software Updating · Michael W. Hicks, Jonathan T. Moore, Scott Nettles
11. Dynamic Variables · David R. Hanson, Todd A. Proebsting
12. ESP: A Language for Programmable Devices · Sanjeev Kumar, Yitzhak Mandelbaum, Xiang Yu, Kai Li
13. Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality · Trishul M. Chilimbi
14. Enforcing High-Level Protocols in Low-Level Software · Robert DeLine, Manuel Fähndrich
15. Exact Analysis of the Cache Behavior of Nested Loops · Siddhartha Chatterjee, Erin Parker, Philip J. Hanlon, Alvin R. Lebeck
16. Facile: A Language and Compiler for High-Performance Processor Simulators · Eric Schnarr, Mark D. Hill, James R. Larus
17. Heap Profiling for Space-Efficient Java · Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
18. Incrementalized Pointer and Escape Analysis · Frédéric Vivien, Martin C. Rinard
19. Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector · David F. Bacon, C. Richard Attanasio, Han Bok Lee, V. T. Rajan, Stephen E. Smith
20. Language Support for Regions · David Gay, Alex Aiken
21. On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs · Rakesh Ghiya, Daniel M. Lavery, David C. Sehr
22. Optimal Spilling for CISC Machines with Few Registers · Andrew W. Appel, Lal George
23. Principled Scavenging · Stefan Monnier, Bratin Saha, Zhong Shao
24. Related Field Analysis · Aneesh Aggarwal, Keith H. Randall
25. SPL: A Language and Compiler for DSP Algorithms · Jianxin Xiong, Jeremy R. Johnson, Robert W. Johnson, David A. Padua
26. SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form · Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne
27. The Pointer Assertion Logic Engine · Anders Møller, Michael I. Schwartzbach
28. Timestamped Whole Program Path Representation and its Applications · Youtao Zhang, Rajiv Gupta
29. Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second · Nevin Heintze, Olivier Tardieu
30. Using Annotation to Reduce Dynamic Optimization Time · Chandra Krintz, Brad Calder