| 2003 | A comparison of empirical and model-driven optimization. Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibulskis, Gerald DeJong, María Jesús Garzarán, David A. Padua, Keshav Pingali, Paul Stodghill, Peng Wu |
| 2003 | A compiler framework for speculative analysis and optimizations. Jin Lin, Tong Chen, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai, Sun Chan |
| 2003 | A practical flow-sensitive and context-sensitive C and C++ memory leak detector. David L. Heine, Monica S. Lam |
| 2003 | A provably sound TAL for back-end optimization. Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang |
| 2003 | A region-based compilation technique for a Java just-in-time compiler. Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani |
| 2003 | A static analyzer for large safety-critical software. Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival |
| 2003 | A type and effect system for atomicity. Cormac Flanagan, Shaz Qadeer |
| 2003 | Automatically proving the correctness of compiler optimizations. Sorin Lerner, Todd D. Millstein, Craig Chambers |
| 2003 | Bug isolation via remote program sampling. Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan |
| 2003 | CCured in the real world. Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
| 2003 | CSSV: towards a realistic tool for statically detecting all buffer overflows in C. Nurit Dor, Michael Rodeh, Shmuel Sagiv |
| 2003 | Checking and inferring local non-aliasing. Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi |
| 2003 | Compile-time composition of run-time data and iteration reorderings. Michelle Mills Strout, Larry Carter, Jeanne Ferrante |
| 2003 | Compile-time dynamic voltage scaling settings: opportunities and limits. Fen Xie, Margaret Martonosi, Sharad Malik |
| 2003 | Debugging temporal specifications with concept analysis. Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus |
| 2003 | Linear analysis and optimization of stream programs. Andrew A. Lamb, William Thies, Saman P. Amarasinghe |
| 2003 | Meta optimization: improving compiler heuristics with machine learning. Mark Stephenson, Saman P. Amarasinghe, Martin C. Martin, Una-May O'Reilly |
| 2003 | Optimizing indirect branch prediction accuracy in virtual machine interpreters. M. Anton Ertl, David Gregg |
| 2003 | Ownership types for safe region-based memory management in real-time Java. Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard |
| 2003 | Points-to analysis using BDDs. Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee |
| 2003 | Predicting whole-program locality through reuse distance analysis. Chen Ding, Yutao Zhong |
| 2003 | Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003 Ron Cytron, Rajiv Gupta |
| 2003 | Region-based hierarchical operation partitioning for multicluster processors. Michael L. Chu, Kevin Fan, Scott A. Mahlke |
| 2003 | Static array storage optimization in MATLAB. Pramod G. Joisha, Prithviraj Banerjee |
| 2003 | Static conflict analysis for multi-threaded object-oriented programs. Christoph von Praun, Thomas R. Gross |
| 2003 | Stride prefetching by dynamically inspecting objects. Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani |
| 2003 | Taming the IXP network processor. Lal George, Matthias Blume |
| 2003 | The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction. Chung-Hsing Hsu, Ulrich Kremer |
| 2003 | The nesC language: A holistic approach to networked embedded systems. David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler |