| 2011 | A kripke logical relation between ML and assembly. | Chung-Kil Hur, Derek Dreyer |
| 2011 | Symmetric lenses. | Martin Hofmann, Benjamin C. Pierce, Daniel Wagner |
| 2011 | Multivariate amortized resource analysis. | Jan Hoffmann, Klaus Aehlig, Martin Hofmann |
| 2011 | Regular expression containment: coinductive axiomatization and computational interpretation. | Fritz Henglein, Lasse Nielsen |
| 2011 | Predicate abstraction and refinement for verifying multi-threaded programs. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2011 | Breaking the GPU programming barrier with the auto-parallelising SAC compiler. | Jing Guo, Jeyarajan Thiyagalingam, Sven-Bodo Scholz |
| 2011 | The essence of compiling with traces. | Shu-yu Guo, Jens Palsberg |
| 2011 | Automating string processing in spreadsheets using input-output examples. | Sumit Gulwani |
| 2011 | Robin Milner 1934--2010: verification, languages, and concurrency. | Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell |
| 2011 | Geometry of synthesis III: resource management through type inference. | Dan R. Ghica, Alex I. Smith |
| 2011 | Bisimulation for quantum processes. | Yuan Feng, Runyao Duan, Mingsheng Ying |
| 2011 | Complexity of pattern-based verification for multithreaded programs. | Javier Esparza, Pierre Ganty |
| 2011 | Delay-bounded scheduling. | Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric |
| 2011 | Modular reasoning for deterministic parallelism. | Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson |
| 2011 | Correct blame for contracts: no more scapegoating. | Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen |
| 2011 | Precise reasoning for programs using containers. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2011 | Dynamic multirole session types. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2011 | A parametric segmentation functor for fully automatic and scalable array content analysis. | Patrick Cousot, Radhia Cousot, Francesco Logozzo |
| 2011 | Making prophecies with decision predicates. | Byron Cook, Eric Koskinen |
| 2011 | Static analysis of multi-staged programs via unstaging translation. | Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta |
| 2011 | Accelerating Haskell array codes with multicore GPUs. | Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover |
| 2011 | Safe nondeterminism in a deterministic-by-default parallel language. | Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman |
| 2011 | Step-indexed kripke models over recursive worlds. | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Stvring, Jacob Thamsborg, Hongseok Yang |
| 2011 | Space overhead bounds for dynamic memory management with partial compaction. | Anna Bendersky, Erez Petrank |
| 2011 | Mathematizing C++ concurrency. | Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber |