| 2008 | A practical automatic polyhedral parallelizer and locality optimizer. Uday Bondhugula, Albert Hartono, J. Ramanujam, P. Sadayappan |
| 2008 | A study of concurrent real-time garbage collectors. Filip Pizlo, Erez Petrank, Bjarne Steensgaard |
| 2008 | Automatic volume management for programmable microfluidics. Ahmed M. Amin, Mithuna Thottethodi, T. N. Vijaykumar, Steven Wereley, Stephen C. Jacobson |
| 2008 | Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. Vineet Kahlon |
| 2008 | Certifying low-level programs with hardware interrupts and preemptive threads. Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo |
| 2008 | Checking race freedom via linear programming. Tachio Terauchi |
| 2008 | Conditional correlation analysis for safe region-based memory management. Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang |
| 2008 | Copy coalescing by graph recoloring. Sebastian Hack, Gerhard Goos |
| 2008 | Dataflow analysis for concurrent programs using datarace detection. Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
| 2008 | Deriving linearizable fine-grained concurrent objects. Martin T. Vechev, Eran Yahav |
| 2008 | Discovering properties about arrays in simple programs. Nicolas Halbwachs, Mathias Péron |
| 2008 | Efficient program execution indexing. Bin Xin, William N. Sumner, Xiangyu Zhang |
| 2008 | Explaining failures of program analyses. Daniel von Dincklage, Amer Diwan |
| 2008 | Expressive and safe static reflection with MorphJ. Shan Shan Huang, Yannis Smaragdakis |
| 2008 | Fair stateless model checking. Madanlal Musuvathi, Shaz Qadeer |
| 2008 | Foundations of the C++ concurrency memory model. Hans-Juergen Boehm, Sarita V. Adve |
| 2008 | Full functional verification of linked data structures. Karen Zee, Viktor Kuncak, Martin C. Rinard |
| 2008 | Grammar-based whitebox fuzzing. Patrice Godefroid, Adam Kiezun, Michael Y. Levin |
| 2008 | Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance. Stephen M. Blackburn, Kathryn S. McKinley |
| 2008 | Inferring locks for atomic sections. Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani |
| 2008 | Iterative optimization in the polyhedral model: part ii, multidimensional time. Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, John Cavazos |
| 2008 | Liquid types. Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
| 2008 | Model checking transactional memories. Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh |
| 2008 | Orchestrating the execution of stream programs on multicore platforms. Manjunath Kudlur, Scott A. Mahlke |
| 2008 | Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008 Rajiv Gupta, Saman P. Amarasinghe |
| 2008 | Program analysis as constraint solving. Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan |
| 2008 | Quantitative information flow as network flow capacity. Stephen McCamant, Michael D. Ernst |
| 2008 | Race directed random testing of concurrent programs. Koushik Sen |
| 2008 | Register allocation by puzzle solving. Fernando Magno Quintão Pereira, Jens Palsberg |
| 2008 | SharC: checking data sharing strategies for multithreaded C. Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer |
| 2008 | Sketching concurrent data structures. Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík |
| 2008 | Sound, complete and scalable path-sensitive analysis. Isil Dillig, Thomas Dillig, Alex Aiken |
| 2008 | Type-preserving compilation for large-scale optimizing object-oriented compilers. Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis |
| 2008 | Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. Cormac Flanagan, Stephen N. Freund, Jaeheon Yi |
| 2008 | XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination. Michal Wegiel, Chandra Krintz |