| 2010 | Simple and Precise Widenings for | Axel Simon, Liqian Chen |
| 2010 | Reasoning about Computations Using Two-Levels of Logic. | Dale Miller |
| 2010 | Liberal Typing for Functional Logic Programs. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin, Juan Rodrguez-Hortal |
| 2010 | A Calculus for Hybrid CSP. | Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou |
| 2010 | Type Inference for Sublinear Space Functional Programming. | Ugo Dal Lago, Ulrich Schpp |
| 2010 | Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. | Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi |
| 2010 | From a Verified Kernel towards Verified Systems. | Gerwin Klein |
| 2010 | Live Heap Space Bounds for Real-Time Systems. | Martin Kero, Pawel Pietrzak, Johan Nordlander |
| 2010 | Categorical Descriptional Composition. | Shin-ya Katsumata |
| 2010 | Context-Preserving XQuery Fusion. | Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara |
| 2010 | A Quick Tour of the VeriFast Program Verifier. | Bart Jacobs, Jan Smans, Frank Piessens |
| 2010 | Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. | Jan Hoffmann, Martin Hofmann |
| 2010 | A Logical Mix of Approximation and Separation. | Aquinas Hobor, Robert Dockins, Andrew W. Appel |
| 2010 | Model Independent Order Relations for Processes. | Chaodong He |
| 2010 | Data Structure Fusion. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2010 | A Certified Implementation of ML with Structural Polymorphism. | Jacques Garrigue |
| 2010 | Interprocedural Control Flow Reconstruction. | Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl |
| 2010 | A Provably Correct Stackless Intermediate Representation for Java Bytecode. | Delphine Demange, Thomas P. Jensen, David Pichardie |
| 2010 | Metric Spaces and Termination Analyses. | Aziem Chawdhary, Hongseok Yang |
| 2010 | Typechecking Higher-Order Security Libraries. | Karthikeyan Bhargavan, Cdric Fournet, Nataliya Guts |
| 2010 | Concurrency Can't Be Observed, Asynchronously. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2010 | Towards Deriving Type Systems and Implementations for Coroutines. | Konrad Anton, Peter Thiemann |
| 2010 | An Interactive Tool for Analyzing Embedded SQL Queries. | Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene |
| 2009 | On the Decidability of Subtyping with Bounded Existential Types. | Stefan Wehr, Peter Thiemann |
| 2009 | Proving Copyless Message Passing. | Jules Villard, tienne Lozes, Cristiano Calcagno |