| 2011 | A case for an SC-preserving compiler. Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
| 2011 | A security policy oracle: detecting security holes using multiple API implementations. Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov |
| 2011 | ALTER: exploiting breakable dependences for parallelization. Abhishek Udupa, Kaushik Rajan, William Thies |
| 2011 | An SSA-based algorithm for optimal speculative code motion under an execution profile. Hucheng Zhou, Wenguang Chen, Fred C. Chow |
| 2011 | Automated atomicity-violation fixing. Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit |
| 2011 | Automatic CPU-GPU communication management and optimization. Thomas B. Jablin, Prakash Prabhu, James A. Jablin, Nick P. Johnson, Stephen R. Beard, David I. August |
| 2011 | Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors. Ashwin Prasad, Jayvant Anantpur, R. Govindarajan |
| 2011 | Automatic parallelization via matrix multiplication. Shigeyuki Sato, Hideya Iwasaki |
| 2011 | Brainy: effective selection of data structures. Changhee Jung, Silvius Rus, Brian P. Railing, Nathan Clark, Santosh Pande |
| 2011 | Caisson: a hardware description language for secure information flow. Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf |
| 2011 | Cause clue clauses: error localization using maximum satisfiability. Manu Jose, Rupak Majumdar |
| 2011 | Commutative set: a language extension for implicit parallel programming. Prakash Prabhu, Soumyadeep Ghosh, Yun Zhang, Nick P. Johnson, David I. August |
| 2011 | Composable asynchronous events. Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
| 2011 | Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures. Qiang Zeng, Dinghao Wu, Peng Liu |
| 2011 | Data representation synthesis. Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2011 | Directed incremental symbolic execution. Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid |
| 2011 | EnerJ: approximate data types for safe and general low-power computation. Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman |
| 2011 | Evaluating value-graph translation validation for LLVM. Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett |
| 2011 | Exploiting the commutativity lattice. Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali |
| 2011 | Finding and understanding bugs in C compilers. Xuejun Yang, Yang Chen, Eric Eide, John Regehr |
| 2011 | Garbage collection for monitoring parametric properties. Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu |
| 2011 | Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator. Igor Böhm, Tobias J. K. Edler von Koch, Stephen C. Kyle, Björn Franke, Nigel P. Topham |
| 2011 | Higher-order test generation. Patrice Godefroid |
| 2011 | Isolating and understanding concurrency errors using reconstructed execution fragments. Brandon Lucia, Benjamin P. Wood, Luis Ceze |
| 2011 | Kremlin: rethinking and rebooting gprof for the multicore age. Saturnino Garcia, Donghwan Jeon, Christopher M. Louie, Michael Bedford Taylor |
| 2011 | LL(*): the foundation of the ANTLR parser generator. Terence Parr, Kathleen Fisher |
| 2011 | Language-independent sandboxing of just-in-time compilation and self-modifying code. Jason Ansel, Petr Marchenko, Úlfar Erlingsson, Elijah Taylor, Brad Chen, Derek L. Schuff, David Sehr, Cliff Biffle, Bennet Yee |
| 2011 | Languages as libraries. Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen |
| 2011 | LeakChaser: helping programmers narrow down causes of memory leaks. Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev |
| 2011 | Mining hot calling contexts in small space. Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi |
| 2011 | Mostly-automated verification of low-level programs in computational separation logic. Adam Chlipala |
| 2011 | NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen |
| 2011 | On inter-procedural analysis of programs with lists and data. Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2011 | Parallelism orchestration using DoPE: the degree of parallelism executive. Arun Raman, Hanjun Kim, Taewook Oh, Jae W. Lee, David I. August |
| 2011 | Partial-coherence abstractions for relaxed memory models. Michael Kuperstein, Martin T. Vechev, Eran Yahav |
| 2011 | Path-based inductive synthesis for program inversion. Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster |
| 2011 | Precise and compact modular procedure summaries for heap manipulating programs. Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv |
| 2011 | Predicate abstraction and CEGAR for higher-order model checking. Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno |
| 2011 | Probabilistic, modular and scalable inference of typestate specifications. Nels E. Beckman, Aditya V. Nori |
| 2011 | Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011 Mary W. Hall, David A. Padua |
| 2011 | Safe optimisations for shared-memory concurrent programs. Jaroslav Sevcík |
| 2011 | Scaling abstraction refinement via pruning. Percy Liang, Mayur Naik |
| 2011 | Separation logic + superposition calculus = heap theorem prover. Juan Antonio Navarro Pérez, Andrey Rybalchenko |
| 2011 | Spreadsheet table transformations from examples. William R. Harris, Sumit Gulwani |
| 2011 | Steno: automatic optimization of declarative queries. Derek Gordon Murray, Michael Isard, Yuan Yu |
| 2011 | Synchronization via scheduling: techniques for efficiently managing shared state. Micah J. Best, Shane Mottishaw, Craig Mustard, Mark Roth, Alexandra Fedorova, Andrew Brownsword |
| 2011 | Synthesis of loop-free programs. Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan |
| 2011 | Synthesizing geometry constructions. Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari |
| 2011 | Systematic editing: generating program transformations from an example. Na Meng, Miryung Kim, Kathryn S. McKinley |
| 2011 | Taming the wildcards: combining definition- and use-site variance. John Altidor, Shan Shan Huang, Yannis Smaragdakis |
| 2011 | Taming wildcards in Java's type system. Ross Tate, Alan Leung, Sorin Lerner |
| 2011 | The tao of parallelism in algorithms. Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Méndez-Lojo, Dimitrios Prountzos, Xin Sui |
| 2011 | Toward generating reducible replay logs. Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang |
| 2011 | Understanding POWER multiprocessors. Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams |
| 2011 | Verification of semantic commutativity conditions and inverse operations on linked data structures. Deokhwan Kim, Martin C. Rinard |