| 2001 | A Framework for Reducing the Cost of Instrumented Code. Matthew Arnold, Barbara G. Ryder |
| 2001 | A Parallel, Real-Time Garbage Collector. Perry Cheng, Guy E. Blelloch |
| 2001 | A Unified Framework for Schedule and Storage Optimization. William Thies, Frédéric Vivien, Jeffrey Sheldon, Saman P. Amarasinghe |
| 2001 | Asynchronous Exceptions in Haskell. Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy |
| 2001 | Automatic Predicate Abstraction of C Programs. Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
| 2001 | Bytecode Compression via Profiled Grammar Rewriting. William S. Evans, Christopher W. Fraser |
| 2001 | Composing High-Performance Memory Allocators. Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley |
| 2001 | Demand-Driven Pointer Analysis. Nevin Heintze, Olivier Tardieu |
| 2001 | Design and Implementation of Generics for the .NET Common Language Runtime. Andrew Kennedy, Don Syme |
| 2001 | Dynamic Software Updating. Michael W. Hicks, Jonathan T. Moore, Scott Nettles |
| 2001 | Dynamic Variables. David R. Hanson, Todd A. Proebsting |
| 2001 | ESP: A Language for Programmable Devices. Sanjeev Kumar, Yitzhak Mandelbaum, Xiang Yu, Kai Li |
| 2001 | Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality. Trishul M. Chilimbi |
| 2001 | Enforcing High-Level Protocols in Low-Level Software. Robert DeLine, Manuel Fähndrich |
| 2001 | Exact Analysis of the Cache Behavior of Nested Loops. Siddhartha Chatterjee, Erin Parker, Philip J. Hanlon, Alvin R. Lebeck |
| 2001 | Facile: A Language and Compiler for High-Performance Processor Simulators. Eric Schnarr, Mark D. Hill, James R. Larus |
| 2001 | Heap Profiling for Space-Efficient Java. Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv |
| 2001 | Incrementalized Pointer and Escape Analysis. Frédéric Vivien, Martin C. Rinard |
| 2001 | 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 |
| 2001 | Language Support for Regions. David Gay, Alex Aiken |
| 2001 | On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs. Rakesh Ghiya, Daniel M. Lavery, David C. Sehr |
| 2001 | Optimal Spilling for CISC Machines with Few Registers. Andrew W. Appel, Lal George |
| 2001 | Principled Scavenging. Stefan Monnier, Bratin Saha, Zhong Shao |
| 2001 | Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001 Michael Burke, Mary Lou Soffa |
| 2001 | Related Field Analysis. Aneesh Aggarwal, Keith H. Randall |
| 2001 | SPL: A Language and Compiler for DSP Algorithms. Jianxin Xiong, Jeremy R. Johnson, Robert W. Johnson, David A. Padua |
| 2001 | 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 |
| 2001 | The Pointer Assertion Logic Engine. Anders Møller, Michael I. Schwartzbach |
| 2001 | Timestamped Whole Program Path Representation and its Applications. Youtao Zhang, Rajiv Gupta |
| 2001 | Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. Nevin Heintze, Olivier Tardieu |
| 2001 | Using Annotation to Reduce Dynamic Optimization Time. Chandra Krintz, Brad Calder |