| 2009 | SoftBound: highly compatible and complete spatial memory safety for c. | Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic |
| 2009 | Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory. | Mojtaba Mehrara, Jeff Hao, Po-Chun Hsu, Scott A. Mahlke |
| 2009 | LiteRace: effective sampling for lightweight data-race detection. | Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy |
| 2009 | Merlin: specification inference for explicit information flow problems. | V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee |
| 2009 | Proving optimizations correct using parameterized program equivalence. | Sudipta Kundu, Zachary Tatlock, Sorin Lerner |
| 2009 | Type-based data structure verification. | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
| 2009 | A randomized dynamic program analysis technique for detecting real deadlocks. | Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik |
| 2009 | Encoding information flow in Aura. | Limin Jia, Steve Zdancewic |
| 2009 | A study of memory management for web-based applications on multicore processors. | Hiroshi Inoue, Hideaki Komatsu, Toshio Nakatani |
| 2009 | A decision procedure for subset constraints over regular languages. | Pieter Hooimeijer, Westley Weimer |
| 2009 | Semantics-aware trace analysis. | Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan |
| 2009 | CEAL: a C-based language for self-adjusting computation. | Matthew A. Hammer, Umut A. Acar, Yan Chen |
| 2009 | Control-flow refinement and progress invariants for bound analysis. | Sumit Gulwani, Sagar Jain, Eric Koskinen |
| 2009 | Trace-based just-in-time type specialization for dynamic languages. | Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz |
| 2009 | FastTrack: efficient and precise dynamic race detection. | Cormac Flanagan, Stephen N. Freund |
| 2009 | Stretching transactional memory. | Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka |
| 2009 | ActionScript bytecode verification with co-logic programming. | Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar |
| 2009 | Staged information flow for javascript. | Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner |
| 2009 | Language-based security on Android. | Avik Chaudhuri |
| 2009 | Snugglebug: a powerful approach to weakest preconditions. | Satish Chandra, Stephen J. Fink, Manu Sridharan |
| 2009 | Flow-sensitive semantics for dynamic information flow policies. | Niklas Broberg, David Sands |
| 2009 | An implementation and semantics for transactional memory introspection in Haskell. | Arnar Birgisson, lfar Erlingsson |
| 2009 | A weakest precondition approach to active attacks analysis. | Musard Balliu, Isabella Mastroeni |
| 2009 | Efficient purely-dynamic information flow analysis. | Thomas H. Austin, Cormac Flanagan |
| 2009 | Catch me if you can: permissive yet secure error handling. | Aslan Askarov, Andrei Sabelfeld |