| 2001 | Optimizing Component Interaction. | Karin Hgstedt, Doug Kimelman, Nan Wang |
| 2001 | Dynamic Software Updating. | Michael W. Hicks, Jonathan T. Moore, Scott Nettles |
| 2001 | Embedded Control Systems Development with Giotto. | Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch |
| 2001 | Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. | Nevin Heintze, Olivier Tardieu |
| 2001 | Demand-Driven Pointer Analysis. | Nevin Heintze, Olivier Tardieu |
| 2001 | Dynamic Variables. | David R. Hanson, Todd A. Proebsting |
| 2001 | Software Pipelining Irregular Loops On the TMS320C6000 VLIW DSP Architecture. | Elana D. Granston, Eric Stotzer, Joe Zbiciak |
| 2001 | Designing and Optimizing a Scalable CORBA Notification Service. | Pradeep Gore, Ron Cytron, Douglas C. Schmidt, Carlos O'Ryan |
| 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 | Language Support for Regions. | David Gay, Alex Aiken |
| 2001 | Bytecode Compression via Profiled Grammar Rewriting. | William S. Evans, Christopher W. Fraser |
| 2001 | Enforcing High-Level Protocols in Low-Level Software. | Robert DeLine, Manuel Fhndrich |
| 2001 | Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality. | Trishul M. Chilimbi |
| 2001 | A Parallel, Real-Time Garbage Collector. | Perry Cheng, Guy E. Blelloch |
| 2001 | Exact Analysis of the Cache Behavior of Nested Loops. | Siddhartha Chatterjee, Erin Parker, Philip J. Hanlon, Alvin R. Lebeck |
| 2001 | ENSEMBLE: A Communication Layer for Embedded Multi-Processor Systems. | Sidney Cadot, Frits Kuijlman, Koen Langendoen, Kees van Reeuwijk, Henk J. Sips |
| 2001 | Designing an Efficient and Scalable Server-side Asynchrony Model for CORBA. | Darrell Brunsch, Carlos O'Ryan, Douglas C. Schmidt |
| 2001 | Composing High-Performance Memory Allocators. | Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley |
| 2001 | Automatic Predicate Abstraction of C Programs. | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
| 2001 | MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems. | Amol Bakshi, Viktor K. Prasanna, kos Ldeczi |
| 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 | A Framework for Reducing the Cost of Instrumented Code. | Matthew Arnold, Barbara G. Ryder |
| 2001 | Optimal Spilling for CISC Machines with Few Registers. | Andrew W. Appel, Lal George |
| 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 | Related Field Analysis. | Aneesh Aggarwal, Keith H. Randall |