APLAS 2010

30 papers

1. A Calculus for Hybrid CSP · Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou + 1 more
2. A Certified Implementation of ML with Structural Polymorphism · Jacques Garrigue
3. A Logical Mix of Approximation and Separation · Aquinas Hobor, Robert Dockins, Andrew W. Appel
4. A Provably Correct Stackless Intermediate Representation for Java Bytecode · Delphine Demange, Thomas P. Jensen, David Pichardie
5. A Quick Tour of the VeriFast Program Verifier · Bart Jacobs, Jan Smans, Frank Piessens
6. Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics · Jan Hoffmann, Martin Hofmann
7. An Interactive Tool for Analyzing Embedded SQL Queries · Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene
8. Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates · Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
9. Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras · Xiaocong Zhou, Yongji Li, Wenjun Li, Hai-Yan Qiao, Zhongmei Shu
10. Categorical Descriptional Composition · Shin-ya Katsumata
11. Concurrency Can't Be Observed, Asynchronously · Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
12. Context-Preserving XQuery Fusion · Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
13. Data Structure Fusion · Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
14. Foundations of Quantum Programming (Extended Abstract) · Mingsheng Ying
15. From a Verified Kernel towards Verified Systems · Gerwin Klein
16. Index-Compact Garbage Collection · Liangliang Tong, Francis C. M. Lau
17. Interprocedural Control Flow Reconstruction · Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl
18. JNI Light: An Operational Model for the Core JNI · Gang Tan
19. Liberal Typing for Functional Logic Programs · Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
20. Live Heap Space Bounds for Real-Time Systems · Martin Kero, Pawel Pietrzak, Johan Nordlander
21. Liveness of Communicating Transactions (Extended Abstract) · Edsko de Vries, Vasileios Koutavas, Matthew Hennessy
22. Metric Spaces and Termination Analyses · Aziem Chawdhary, Hongseok Yang
23. Model Independent Order Relations for Processes · Chaodong He
24. Reasoning about Computations Using Two-Levels of Logic · Dale Miller
25. Relational Parametricity for a Polymorphic Linear Lambda Calculus · Jianzhou Zhao, Qi Zhang, Steve Zdancewic
26. Simple and Precise Widenings for H-Polyhedra · Axel Simon, Liqian Chen
27. Towards Deriving Type Systems and Implementations for Coroutines · Konrad Anton, Peter Thiemann
28. Type Inference for Sublinear Space Functional Programming · Ugo Dal Lago, Ulrich Schöpp
29. Typechecking Higher-Order Security Libraries · Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts
30. Verification of Tree-Processing Programs via Higher-Order Model Checking · Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi