| 2011 | Modular Abstractions of Reactive Nodes Using Disjunctive Invariants. | David Monniaux, Martin Bodin |
| 2011 | Static Object Race Detection. | Ana L. Milanova, Wei Huang |
| 2011 | On the Strength of Owicki-Gries for Resources. | Alexander Malkis, Laurent Mauborgne |
| 2011 | Decentralized Delimited Release. | Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld |
| 2011 | Polymorphic Multi-stage Language with Control Effects. | Yuichiro Kokaji, Yukiyoshi Kameyama |
| 2011 | A Semantics for Context-Sensitive Reduction Semantics. | Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler |
| 2011 | Software Verification with Liquid Types. | Ranjit Jhala |
| 2011 | Solving Recursion-Free Horn Clauses over LI+UIF. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2011 | Towards a Certified Petri Net Model-Checker. | Lukasz Fronc, Franck Pommereau |
| 2011 | Template-Based Unbounded Time Verification of Affine Hybrid Automata. | Thao Dang, Thomas Martin Gawlitza |
| 2011 | Constructing List Homomorphisms from Proofs. | Yun-Yan Chi, Shin-Cheng Mu |
| 2011 | Compiler Backend Generation for Application Specific Instruction Set Processors. | Zhen Cao, Yuan Dong, Shengyuan Wang |
| 2011 | Towards a General Theory of Barbs, Contexts and Labels. | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2011 | A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. | Benoit Boissinot, Florian Brandner, Alain Darte, Benot Dupont de Dinechin, Fabrice Rastello |
| 2011 | Engineering Theories with Z3. | Nikolaj S. Bjrner |
| 2011 | Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy. | Patrick Baillot |
| 2011 | Soundness of Data Flow Analyses for Weak Memory Models. | Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig |
| 2011 | Cost Analysis of Concurrent OO Programs. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, German Puebla |
| 2010 | Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras. | Xiaocong Zhou, Yongji Li, Wenjun Li, Hai-Yan Qiao, Zhongmei Shu |
| 2010 | Relational Parametricity for a Polymorphic Linear Lambda Calculus. | Jianzhou Zhao, Qi Zhang, Steve Zdancewic |
| 2010 | Foundations of Quantum Programming (Extended Abstract). | Mingsheng Ying |
| 2010 | Liveness of Communicating Transactions (Extended Abstract). | Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
| 2010 | Verification of Tree-Processing Programs via Higher-Order Model Checking. | Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi |
| 2010 | Index-Compact Garbage Collection. | Liangliang Tong, Francis C. M. Lau |
| 2010 | JNI Light: An Operational Model for the Core JNI. | Gang Tan |