| 2011 | Pick your contexts well: understanding object-sensitivity. | Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhotk |
| 2011 | On interference abstractions. | Nishant Sinha, Chao Wang |
| 2011 | Declarative coordination in a multicore environment: the tyranny of streams. | Alexander V. Shafarenko |
| 2011 | Relaxed-memory concurrency and verified compilation. | Jaroslav Sevck, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell |
| 2011 | Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. | Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Mller-Olm |
| 2011 | Domain specific compilation in the NVIDIA OptiX ray tracing engine. | Austin Robison |
| 2011 | Calling context abstraction with shapes. | Xavier Rival, Bor-Yuh Evan Chang |
| 2011 | Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code. | Norman Ramsey, Joo Dias |
| 2011 | Formal verification of object layout for c++ multiple inheritance. | Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy |
| 2011 | A shape analysis for optimizing parallel graph programs. | Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley |
| 2011 | EigenCFA: accelerating flow analysis with GPUs. | Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary W. Hall |
| 2011 | Loop transformations: convexity, pruning and optimization. | Louis-Nol Pouchet, Uday Bondhugula, Cdric Bastoul, Albert Cohen, J. Ramanujam, P. Sadayappan, Nicolas Vasilache |
| 2011 | A typed store-passing translation for general references. | Franois Pottier |
| 2011 | Parallel computing with the Pi-calculus. | Frdric Peschanski |
| 2011 | Verifying higher-order functional programs with pattern-matching algebraic data types. | C.-H. Luke Ong, Steven J. Ramsay |
| 2011 | Decidable logics combining heap structures and data. | P. Madhusudan, Gennaro Parlato, Xiaokang Qiu |
| 2011 | The tree width of auxiliary storage. | P. Madhusudan, Gennaro Parlato |
| 2011 | The design of kodu: a tiny visual programming language for children on the Xbox 360. | Matthew MacLaurin |
| 2011 | Learning minimal abstractions. | Percy Liang, Omer Tripp, Mayur Naik |
| 2011 | Points-to analysis with efficient strong updates. | Ondrej Lhotk, Kwok-Chiang Andrew Chung |
| 2011 | Verified squared: does critical software deserve verified tools? | Xavier Leroy |
| 2011 | Vector addition system reachability problem: a short self-contained proof. | Jrme Leroux |
| 2011 | Simple optimizations for an applicative array language for graphics processors. | Bradford Larsen |
| 2011 | A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code. | Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti |
| 2011 | Expressive modular fine-grained concurrency specification. | Bart Jacobs, Frank Piessens |