| 2002 | A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems. Byoungro So, Mary W. Hall, Pedro C. Diniz |
| 2002 | A Parallel, Incremental and Concurrent GC for Servers. Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko |
| 2002 | A Sparse Algorithm for Predicated Global Value Numbering. Karthik Gargi |
| 2002 | A System and Language for Building System-Specific, Static Analyses. Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler |
| 2002 | Adoption and Focus: Practical Linear Types for Imperative Programming. Manuel Fähndrich, Robert DeLine |
| 2002 | Beltway: Getting Around Garbage Collection Gridlock. Stephen M. Blackburn, Richard E. Jones, Kathryn S. McKinley, J. Eliot B. Moss |
| 2002 | Combining Region Inference and Garbage Collection. Niels Hallenberg, Martin Elsman, Mads Tofte |
| 2002 | Denali: A Goal-directed Superoptimizer. Rajeev Joshi, Greg Nelson, Keith H. Randall |
| 2002 | Deriving Specialized Program Analyses for Certifying Component-Client Conformance. G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv |
| 2002 | Dynamic Hot Data Stream Prefetching for General-Purpose Programs. Trishul M. Chilimbi, Martin Hirzel |
| 2002 | ESP: Path-Sensitive Program Verification in Polynomial Time. Manuvir Das, Sorin Lerner, Mark Seigle |
| 2002 | Effective Sign Extension Elimination. Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani |
| 2002 | Efficient Discovery of Regular Stride Patterns in Irregular Programs. Youfeng Wu |
| 2002 | Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan |
| 2002 | Extended Static Checking for Java. Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata |
| 2002 | Fast Copy Coalescing and Live-Range Identification. Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steven W. Reeves |
| 2002 | Flow-Sensitive Type Qualifiers. Jeffrey S. Foster, Tachio Terauchi, Alex Aiken |
| 2002 | MaJIC: Compiling MATLAB for Speed and Responsiveness. George Almási, David A. Padua |
| 2002 | Maya: Multiple-Dispatch Syntax Extension in Java. Jason Baker, Wilson C. Hsieh |
| 2002 | Post-Pass Binary Adaptation for Software-Based Speculative Precomputation. Shih-Wei Liao, Perry H. Wang, Hong Wang, John Paul Shen, Gerolf Hoflehner, Daniel M. Lavery |
| 2002 | Preference-Directed Graph Coloring. Akira Koseki, Hideaki Komatsu, Toshio Nakatani |
| 2002 | Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002 Jens Knoop, Laurie J. Hendren |
| 2002 | Profile-Directed Optimization of Event-Based Programs. Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting |
| 2002 | Profile-Guided Code Compression. Saumya K. Debray, William S. Evans |
| 2002 | Region-Based Memory Management in Cyclone. Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney |
| 2002 | Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations. Daniel Cociorva, Gerald Baumgartner, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, Marcel Nooijen, David E. Bernholdt, Robert J. Harrison |
| 2002 | Static Load Classification for Improving the Value Predictability of Data-Cache Misses. Martin Burtscher, Amer Diwan, Matthias Hauswirth |
| 2002 | The Embedded Machine: Predictable, Portable Real-Time Code. Thomas A. Henzinger, Christoph M. Kirsch |
| 2002 | Using Data Groups to Specify and Check Side Effects. K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou |