| 2010 | A Calculus for Hybrid CSP. Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou |
| 2010 | A Certified Implementation of ML with Structural Polymorphism. Jacques Garrigue |
| 2010 | A Logical Mix of Approximation and Separation. Aquinas Hobor, Robert Dockins, Andrew W. Appel |
| 2010 | A Provably Correct Stackless Intermediate Representation for Java Bytecode. Delphine Demange, Thomas P. Jensen, David Pichardie |
| 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 | An Interactive Tool for Analyzing Embedded SQL Queries. Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene |
| 2010 | Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi |
| 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 | Categorical Descriptional Composition. Shin-ya Katsumata |
| 2010 | Concurrency Can't Be Observed, Asynchronously. Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2010 | Context-Preserving XQuery Fusion. Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara |
| 2010 | Data Structure Fusion. Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2010 | Foundations of Quantum Programming (Extended Abstract). Mingsheng Ying |
| 2010 | From a Verified Kernel towards Verified Systems. Gerwin Klein |
| 2010 | Index-Compact Garbage Collection. Liangliang Tong, Francis C. M. Lau |
| 2010 | Interprocedural Control Flow Reconstruction. Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl |
| 2010 | JNI Light: An Operational Model for the Core JNI. Gang Tan |
| 2010 | Liberal Typing for Functional Logic Programs. Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá |
| 2010 | Live Heap Space Bounds for Real-Time Systems. Martin Kero, Pawel Pietrzak, Johan Nordlander |
| 2010 | Liveness of Communicating Transactions (Extended Abstract). Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
| 2010 | Metric Spaces and Termination Analyses. Aziem Chawdhary, Hongseok Yang |
| 2010 | Model Independent Order Relations for Processes. Chaodong He |
| 2010 | Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings Kazunori Ueda |
| 2010 | Reasoning about Computations Using Two-Levels of Logic. Dale Miller |
| 2010 | Relational Parametricity for a Polymorphic Linear Lambda Calculus. Jianzhou Zhao, Qi Zhang, Steve Zdancewic |
| 2010 | Simple and Precise Widenings for Axel Simon, Liqian Chen |
| 2010 | Towards Deriving Type Systems and Implementations for Coroutines. Konrad Anton, Peter Thiemann |
| 2010 | Type Inference for Sublinear Space Functional Programming. Ugo Dal Lago, Ulrich Schöpp |
| 2010 | Typechecking Higher-Order Security Libraries. Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts |
| 2010 | Verification of Tree-Processing Programs via Higher-Order Model Checking. Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi |