| 2011 | A Deductive Database with Datalog and SQL Query Languages. Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz |
| 2011 | A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello |
| 2011 | A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. Keiko Nakata, Tarmo Uustalu, Marc Bezem |
| 2011 | A Semantics for Context-Sensitive Reduction Semantics. Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler |
| 2011 | Access-Based Localization with Bypassing. Hakjoo Oh, Kwangkeun Yi |
| 2011 | Algebra, Logic, Locality, Concurrency. Peter W. O'Hearn |
| 2011 | Compiler Backend Generation for Application Specific Instruction Set Processors. Zhen Cao, Yuan Dong, Shengyuan Wang |
| 2011 | Computation-by-Interaction with Effects. Ulrich Schöpp |
| 2011 | Constructing List Homomorphisms from Proofs. Yun-Yan Chi, Shin-Cheng Mu |
| 2011 | Cost Analysis of Concurrent OO Programs. Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla |
| 2011 | Decentralized Delimited Release. Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld |
| 2011 | Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy. Patrick Baillot |
| 2011 | Engineering Theories with Z3. Nikolaj S. Bjørner |
| 2011 | Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow |
| 2011 | Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism. Akimasa Morihata |
| 2011 | Modular Abstractions of Reactive Nodes Using Disjunctive Invariants. David Monniaux, Martin Bodin |
| 2011 | On the Strength of Owicki-Gries for Resources. Alexander Malkis, Laurent Mauborgne |
| 2011 | Polymorphic Multi-stage Language with Control Effects. Yuichiro Kokaji, Yukiyoshi Kameyama |
| 2011 | Program Analysis and Machine Learning: A Win-Win Deal. Aditya V. Nori, Sriram K. Rajamani |
| 2011 | Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings Hongseok Yang |
| 2011 | SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA. Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew |
| 2011 | Software Verification with Liquid Types. Ranjit Jhala |
| 2011 | Solving Recursion-Free Horn Clauses over LI+UIF. Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2011 | Soundness of Data Flow Analyses for Weak Memory Models. Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig |
| 2011 | Static Object Race Detection. Ana L. Milanova, Wei Huang |
| 2011 | Template-Based Unbounded Time Verification of Affine Hybrid Automata. Thao Dang, Thomas Martin Gawlitza |
| 2011 | Towards a Certified Petri Net Model-Checker. Lukasz Fronc, Franck Pommereau |
| 2011 | Towards a General Theory of Barbs, Contexts and Labels. Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |