| 2010 | A Grammar-Based Approach to Invertible Programs. Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2010 | A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. Keiko Nakata, Tarmo Uustalu |
| 2010 | A PolyTime Functional Language from Light Linear Logic. Patrick Baillot, Marco Gaboardi, Virgile Mogbil |
| 2010 | A Semantic Framework for Declassification and Endorsement. Aslan Askarov, Andrew C. Myers |
| 2010 | A Theory of Speculative Computation. Gérard Boudol, Gustavo Petri |
| 2010 | A Universal Calculus for Stream Processing Languages. Robert Soulé, Martin Hirzel, Robert Grimm, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu |
| 2010 | Amortised Resource Analysis with Separation Logic. Robert Atkey |
| 2010 | Amortized Resource Analysis with Polynomial Potential. Jan Hoffmann, Martin Hofmann |
| 2010 | Automating Security Mediation Placement. Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
| 2010 | CFA2: A Context-Free Approach to Control-Flow Analysis. Dimitrios Vardoulakis, Olin Shivers |
| 2010 | Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. Assalé Adjé, Stéphane Gaubert, Eric Goubault |
| 2010 | Deadlock-Free Channels and Locks. K. Rustan M. Leino, Peter Müller, Jan Smans |
| 2010 | Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. David A. Naumann, Anindya Banerjee |
| 2010 | Enforcing Stateful Authorization and Information Flow Policies in Fine. Nikhil Swamy, Juan Chen, Ravi Chugh |
| 2010 | Explicit Stabilisation for Modular Rely-Guarantee Reasoning. John Wickerson, Mike Dodds, Matthew J. Parkinson |
| 2010 | Faulty Logic: Reasoning about Fault Tolerant Programs. Matthew L. Meola, David Walker |
| 2010 | Fluid Updates: Beyond Strong vs. Weak Updates. Isil Dillig, Thomas Dillig, Alex Aiken |
| 2010 | Formal Verification of Coalescing Graph-Coloring Register Allocation. Sandrine Blazy, Benoît Robillard, Andrew W. Appel |
| 2010 | Functional Programming in Sublinear Space. Ugo Dal Lago, Ulrich Schöpp |
| 2010 | Generative Operational Semantics for Relaxed Memory Models. Radha Jagadeesan, Corin Pitcher, James Riely |
| 2010 | Logical Concurrency Control from Sequential Proofs. Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
| 2010 | On the Expressive Power of Primitives for Compensation Handling. Ivan Lanese, Cátia Vaz, Carla Ferreira |
| 2010 | Parameterized Memory Models and Concurrent Separation Logic. Rodrigo Ferreira, Xinyu Feng, Zhong Shao |
| 2010 | Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. Torben Amtoft, John Hatcliff, Edwin Rodríguez |
| 2010 | Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings Andrew D. Gordon |
| 2010 | Propositional Interpolation and Abstract Interpretation. Vijay D'Silva |
| 2010 | Separating Shape Graphs. Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival |
| 2010 | Stateful Contracts for Affine Types. Jesse A. Tov, Riccardo Pucella |
| 2010 | TRX: A Formally Verified Parser Interpreter. Adam Koprowski, Henri Binsztok |
| 2010 | Testing Polymorphic Properties. Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen |
| 2010 | The Audacity of Hope: Thoughts on Reclaiming the Database Dream. Sam Lindley, Philip Wadler |
| 2010 | Verifying a Compiler for Java Threads. Andreas Lochbihler |
| 2010 | Weighted Dynamic Pushdown Networks. Alexander Wenner |