| 2008 | Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. | Vineet Kahlon |
| 2008 | Expressive and safe static reflection with MorphJ. | Shan Shan Huang, Yannis Smaragdakis |
| 2008 | Static path conditions for Java. | Christian Hammer, Rdiger Schaade, Gregor Snelting |
| 2008 | Aspect-oriented in-lined reference monitors. | Kevin W. Hamlen, Micah Jones |
| 2008 | Discovering properties about arrays in simple programs. | Nicolas Halbwachs, Mathias Pron |
| 2008 | Copy coalescing by graph recoloring. | Sebastian Hack, Gerhard Goos |
| 2008 | Program analysis as constraint solving. | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan |
| 2008 | Model checking transactional memories. | Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh |
| 2008 | Grammar-based whitebox fuzzing. | Patrice Godefroid, Adam Kiezun, Michael Y. Levin |
| 2008 | Information flow security of multi-threaded distributed programs. | Riccardo Focardi, Matteo Centenaro |
| 2008 | Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. | Cormac Flanagan, Stephen N. Freund, Jaeheon Yi |
| 2008 | Certifying low-level programs with hardware interrupts and preemptive threads. | Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo |
| 2008 | Explaining failures of program analyses. | Daniel von Dincklage, Amer Diwan |
| 2008 | Sound, complete and scalable path-sensitive analysis. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2008 | Dataflow analysis for concurrent programs using datarace detection. | Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
| 2008 | Inferring locks for atomic sections. | Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani |
| 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 | Resource bound analysis for database queries. | James Cheney, Morten Dahl |
| 2008 | A type system for data-flow integrity on windows vista. | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani |
| 2008 | A practical automatic polyhedral parallelizer and locality optimizer. | Uday Bondhugula, Albert Hartono, J. Ramanujam, P. Sadayappan |
| 2008 | Foundations of the C++ concurrency memory model. | Hans-Juergen Boehm, Sarita V. Adve |
| 2008 | Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance. | Stephen M. Blackburn, Kathryn S. McKinley |
| 2008 | Evaluating the cost reduction of static code analysis for software security. | Dejan Baca, Bengt Carlsson, Lars Lundberg |
| 2008 | SharC: checking data sharing strategies for multithreaded C. | Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer |
| 2008 | Automatic volume management for programmable microfluidics. | Ahmed M. Amin, Mithuna Thottethodi, T. N. Vijaykumar, Steven Wereley, Stephen C. Jacobson |