| 2005 | A serializability violation detector for shared-memory server programs. Min Xu, Rastislav Bodík, Mark D. Hill |
| 2005 | Automatic pool allocation: improving performance by controlling data structure layout in the heap. Chris Lattner, Vikram S. Adve |
| 2005 | Automatically partitioning packet processing applications for pipelined architectures. Jinquan Dai, Bo Huang, Long Li, Luddy Harrison |
| 2005 | Checking type safety of foreign function calls. Michael Furr, Jeffrey S. Foster |
| 2005 | Code placement for improving dynamic branch prediction accuracy. Daniel A. Jiménez |
| 2005 | Composing security policies with polymer. Lujo Bauer, Jay Ligatti, David Walker |
| 2005 | DART: directed automated random testing. Patrice Godefroid, Nils Klarlund, Koushik Sen |
| 2005 | Demystifying on-the-fly spill code. Alex Aletà, Josep M. Codina, Antonio González, David R. Kaeli |
| 2005 | Differential register allocation. Xiaotong Zhuang, Santosh Pande |
| 2005 | Essential language support for generic programming. Jeremy G. Siek, Andrew Lumsdaine |
| 2005 | Formal loop merging for signal transforms. Franz Franchetti, Yevgen Voronenko, Markus Püschel |
| 2005 | Garbage collection without paging. Matthew Hertz, Yi Feng, Emery D. Berger |
| 2005 | Jungloid mining: helping to navigate the API jungle. David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman |
| 2005 | Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices. Carlos García Quiñones, Carlos Madriles, F. Jesús Sánchez, Pedro Marcuello, Antonio González, Dean M. Tullsen |
| 2005 | Optimising aspectJ. Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
| 2005 | PADS: a domain-specific language for processing ad hoc data. Kathleen Fisher, Robert Gruber |
| 2005 | Path slicing. Ranjit Jhala, Rupak Majumdar |
| 2005 | Permission-based ownership: encapsulating state in higher-order typed languages. Neelakantan R. Krishnaswami, Jonathan Aldrich |
| 2005 | Pin: building customized program analysis tools with dynamic instrumentation. Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood |
| 2005 | Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005 Vivek Sarkar, Mary W. Hall |
| 2005 | Programming ad-hoc networks of mobile and resource-constrained devices. Yang Ni, Ulrich Kremer, Adrian Stere, Liviu Iftode |
| 2005 | Programming by sketching for bit-streaming programs. Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu |
| 2005 | Register allocation for software pipelined multi-dimensional loops. Hongbo Rong, Alban Douillet, Guang R. Gao |
| 2005 | Scalable statistical bug isolation. Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan |
| 2005 | Semantic type qualifiers. Brian Chin, Shane Markstrum, Todd D. Millstein |
| 2005 | Shangri-La: achieving high performance from compiled network applications while enabling ease of programming. Michael K. Chen, Xiao-Feng Li, Ruiqi Lian, Jason H. Lin, Lixia Liu, Tao Liu, Roy Ju |
| 2005 | The transactional manifesto: software engineering and non-blocking synchronization. Maurice Herlihy |
| 2005 | Threads cannot be implemented as a library. Hans-Juergen Boehm |
| 2005 | TraceBack: first fault diagnosis by reconstruction of distributed control flow. Andrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, Emmett Witchel |
| 2005 | VYRD: verifYing concurrent programs by runtime refinement-violation detection. Tayfun Elmas, Serdar Tasiran, Shaz Qadeer |