APLAS 2010 Accepted Papers

  1. Jianzhou Zhao, Qi Zhang and Steve Zdancewic. Relational Parametricity for a Polymorphic Linear Lambda Calculus
  2. Liangliang Tong and Francis C.M. Lau. Index-Compact Garbage Collection
  3. Xiaocong Zhou, Yongji Li, Wenjun Li, Haiyan Qiao and Zhongmei Shu. Bisimulation proof methods in a path-based specification language for polynomial coalgebras
  4. Edsko de Vries, Vasileios Koutavas and Matthew Hennessy. Liveness of Communicating Transactions (Extended Abstract)
  5. Gang Tan. JNI Light: An Operational Model for the Core JNI
  6. Jan Hoffmann and Martin Hofmann. Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
  7. Hiroshi Unno, Naoshi Tabuchi and Naoki Kobayashi. Verification of Tree-Processing Programs via Higher-Order Model Checking
  8. Jacques Garrigue. A Certified Implementation of ML with Structural Polymorphism
  9. Soonho Kong, Yungbum Jung, Cristina David, Bow-yaw Wang and Kwangkeun Yi. Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates
  10. Ugo Dal Lago and Ulrich Schoepp. Type Inference for Sublinear Space Functional Programming
  11. Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara. Context-Preserving XQuery Fusion
  12. Shin-ya Katsumata. Categorical Descriptional Composition
  13. Andrea Flexeder, Helmut Seidl, Michael Petter and Bogdan Mihaila. Interprocedural Control Flow Reconstruction
  14. Francisco J. López-Fraguas, Enrique Martin-Martin and Juan Rodriguez-Hortala. Liberal Typing for Functional Logic Programs
  15. Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov and Varmo Vene. An interactive tool for analyzing embedded SQL queries
  16. Paolo Baldan, Filippo Bonchi, Fabio Gadducci and Giacoma Monreale. Concurrency Can't Be Observed, Asynchronously
  17. Karthikeyan Bhargavan, Cedric Fournet and Nataliya Guts. Typechecking Higher-Order Security Libraries
  18. Delphine Demange, Thomas Jensen and David Pichardie. A Provably Correct Stackless Intermediate Representation for Java Bytecode
  19. Bart Jacobs, Jan Smans and Frank Piessens. A Quick Tour of the VeriFast Program Verifier
  20. Martin Kero, Pawel Pietrzak and Johan Nordlander. Live heap space bounds for real-time systems
  21. Axel Simon and Liqian Chen. Simple and Precise Widenings for H-Polyhedra
  22. Konrad Anton and Peter Thiemann. Towards Deriving Type Systems and Implementations for Coroutines
  23. Aziem Chawdhary and Hongseok Yang. Metric Spaces and Termination Analyses
  24. Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard and Mooly Sagiv. Data Structure Fusion
  25. Chaodong He. Model Independent Order Relations for Processes