| 2009 | A decision procedure for subset constraints over regular languages. Pieter Hooimeijer, Westley Weimer |
| 2009 | A randomized dynamic program analysis technique for detecting real deadlocks. Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik |
| 2009 | A study of memory management for web-based applications on multicore processors. Hiroshi Inoue, Hideaki Komatsu, Toshio Nakatani |
| 2009 | An integrated proof language for imperative programs. Karen Zee, Viktor Kuncak, Martin C. Rinard |
| 2009 | Analyzing recursive programs using a fixed-point calculus. Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
| 2009 | Automatic generation of library bindings using static analysis. Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit |
| 2009 | Binary analysis for measurement and attribution of program performance. Nathan R. Tallent, John M. Mellor-Crummey, Michael W. Fagan |
| 2009 | CEAL: a C-based language for self-adjusting computation. Matthew A. Hammer, Umut A. Acar, Yan Chen |
| 2009 | Chameleon: adaptive selection of collections. Ohad Shacham, Martin T. Vechev, Eran Yahav |
| 2009 | Control-flow refinement and progress invariants for bound analysis. Sumit Gulwani, Sagar Jain, Eric Koskinen |
| 2009 | Dynamic software updates: a VM-centric approach. Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley |
| 2009 | Efficiently and precisely locating memory leaks and bloat. Gene Novark, Emery D. Berger, Benjamin G. Zorn |
| 2009 | Error propagation analysis for file systems. Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau |
| 2009 | FastTrack: efficient and precise dynamic race detection. Cormac Flanagan, Stephen N. Freund |
| 2009 | GC assertions: using the garbage collector to check heap properties. Edward Aftandilian, Samuel Z. Guyer |
| 2009 | Go with the flow: profiling copies to find runtime bloat. Guoqing Xu, Matthew Arnold, Nick Mitchell, Atanas Rountev, Gary Sevitsky |
| 2009 | Implementation of the memory-safe full ANSI-C compiler. Yutaka Oiwa |
| 2009 | Laminar: practical fine-grained decentralized information flow control. Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel |
| 2009 | Lightweight annotations for controlling sharing in concurrent data structures. Zachary R. Anderson, David Gay, Mayur Naik |
| 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 | Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory. Mojtaba Mehrara, Jeff Hao, Po-Chun Hsu, Scott A. Mahlke |
| 2009 | PetaBricks: a language and compiler for algorithmic choice. Jason Ansel, Cy P. Chan, Yee Lok Wong, Marek Olszewski, Qin Zhao, Alan Edelman, Saman P. Amarasinghe |
| 2009 | Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009 Michael Hind, Amer Diwan |
| 2009 | Program verification using templates over predicate abstraction. Saurabh Srivastava, Sumit Gulwani |
| 2009 | Programming model for a heterogeneous x86 platform. Bratin Saha, Xiaocheng Zhou, Hu Chen, Ying Gao, Shoumeng Yan, Mohan Rajagopalan, Jesse Fang, Peinan Zhang, Ronny Ronen, Avi Mendelson |
| 2009 | Progress guarantee for parallel programs via bounded lock-freedom. Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard |
| 2009 | Proving optimizations correct using parameterized program equivalence. Sudipta Kundu, Zachary Tatlock, Sorin Lerner |
| 2009 | Safe and timely updates to multi-threaded programs. Iulian Neamtiu, Michael W. Hicks |
| 2009 | Semantics-aware trace analysis. Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan |
| 2009 | Sharing classes between families. Xin Qi, Andrew C. Myers |
| 2009 | Snugglebug: a powerful approach to weakest preconditions. Satish Chandra, Stephen J. Fink, Manu Sridharan |
| 2009 | SoftBound: highly compatible and complete spatial memory safety for c. Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic |
| 2009 | Staged information flow for javascript. Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner |
| 2009 | Stretching transactional memory. Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka |
| 2009 | TAJ: effective taint analysis of web applications. Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman |
| 2009 | Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping. Georgios Tournavitis, Zheng Wang, Björn Franke, Michael F. P. O'Boyle |
| 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 | Type-based data structure verification. Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
| 2009 | Typed self-representation. Tillmann Rendel, Klaus Ostermann, Christian Hofer |
| 2009 | Verifiable composition of deterministic grammars. August Schwerdfeger, Eric Van Wyk |
| 2009 | Verified validation of lazy code motion. Jean-Baptiste Tristan, Xavier Leroy |