| 2012 | Verification of parameterized concurrent programs by modular reasoning about data and control. | Azadeh Farzan, Zachary Kincaid |
| 2012 | An executable formal semantics of C with applications. | Chucky Ellison, Grigore Rosu |
| 2012 | Sessional dataflow: short paper. | Dominic Duggan, Jianhua Yao |
| 2012 | On the power of coercion abstraction. | Julien Cretin, Didier Rmy |
| 2012 | An abstract interpretation framework for termination. | Patrick Cousot, Radhia Cousot |
| 2012 | Expressive array constructs in an embedded GPU kernel programming language. | Koen Claessen, Mary Sheeran, Joel Svensson |
| 2012 | Nested refinements: a logic for duck typing. | Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala |
| 2012 | Programming with binders and indexed data-types. | Andrew Cave, Brigitte Pientka |
| 2012 | Programmable data dependencies and placements. | Eva Burrows, Magne Haveraaen |
| 2012 | Analysis of recursively parallel programs. | Ahmed Bouajjani, Michael Emmi |
| 2012 | Resource-sensitive synchronization inference by abduction. | Matko Botincan, Mike Dodds, Suresh Jagannathan |
| 2012 | Controlling loops in parallel mercury code. | Paul Bone, Zoltan Somogyi, Peter Schachte |
| 2012 | Towards nominal computation. | Mikolaj Bojanczyk, Laurent Braud, Bartek Klin, Slawomir Lasota |
| 2012 | Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview. | Andrew P. Black, Peter W. O'Hearn |
| 2012 | A type theory for probability density functions. | Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Alexander G. Gray |
| 2012 | Clarifying and compiling C/C++ concurrency: from C++11 to POWER. | Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell |
| 2012 | Deciding choreography realizability. | Samik Basu, Tevfik Bultan, Meriem Ouederni |
| 2012 | Probabilistic relational reasoning for differential privacy. | Gilles Barthe, Boris Kpf, Federico Olmedo, Santiago Zanella-Bguelin |
| 2012 | A unified approach to fully lazy sharing. | Thibaut Balabonski |
| 2012 | Multiple facets for dynamic information flow. | Thomas H. Austin, Cormac Flanagan |
| 2011 | Generative type abstraction and type-level computation. | Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic |
| 2011 | Fresh-register automata. | Nikos Tzevelekos |
| 2011 | A separation logic for refining concurrent objects. | Aaron Joseph Turon, Mitchell Wand |
| 2011 | Practical affine types. | Jesse A. Tov, Riccardo Pucella |
| 2011 | Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!). | Paul Tarau |