APLAS 2010: Shanghai, China

Invited Talks

• Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou:
  A Calculus for Hybrid CSP. 1-15
  
• Mingsheng Ying:
  Foundations of Quantum Programming (Extended Abstract). 16-20
  
• Gerwin Klein:
  From a Verified Kernel towards Verified Systems. 21-33
  
• Dale Miller:
  Reasoning about Computations Using Two-Levels of Logic. 34-46
  

Session 1

• Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts:
  Typechecking Higher-Order Security Libraries. 47-62
  
• Konrad Anton, Peter Thiemann:
  Towards Deriving Type Systems and Implementations for Coroutines. 63-79
  
• Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
  Liberal Typing for Functional Logic Programs. 80-96
  

Session 2

• Delphine Demange, Thomas P. Jensen, David Pichardie:
  A Provably Correct Stackless Intermediate Representation for Java Bytecode. 97-113
  
• Gang Tan:
  JNI Light: An Operational Model for the Core JNI. 114-130
  
• Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene:
  An Interactive Tool for Analyzing Embedded SQL Queries. 131-138
  

Session 3

• Axel Simon, Liqian Chen:
  Simple and Precise Widenings for H-Polyhedra. 139-155
  
• Aziem Chawdhary, Hongseok Yang:
  Metric Spaces and Termination Analyses. 156-171
  

Session 4

• Jan Hoffmann, Martin Hofmann:
  Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. 172-187
  
• Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl:
  Interprocedural Control Flow Reconstruction. 188-203
  
• Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
  Data Structure Fusion. 204-221
  

Session 5

• Shin-ya Katsumata:
  Categorical Descriptional Composition. 222-238
  
• Xiaocong Zhou, Yongji Li, Wenjun Li, Hai-yan Qiao, Zhongmei Shu:
  Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras. 239-254
  
• Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara:
  Context-Preserving XQuery Fusion. 255-270
  

Session 6

• Liangliang Tong, Francis C. M. Lau:
  Index-Compact Garbage Collection. 271-286
  
• Martin Kero, Pawel Pietrzak, Johan Nordlander:
  Live Heap Space Bounds for Real-Time Systems. 287-303
  

Session 7

• Bart Jacobs, Jan Smans, Frank Piessens:
  A Quick Tour of the VeriFast Program Verifier. 304-311
  
• Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi:
  Verification of Tree-Processing Programs via Higher-Order Model Checking. 312-327
  
• Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi:
  Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. 328-343
  

Session 8

• Jianzhou Zhao, Qi Zhang, Steve Zdancewic:
  Relational Parametricity for a Polymorphic Linear Lambda Calculus. 344-359
  
• Jacques Garrigue:
  A Certified Implementation of ML with Structural Polymorphism. 360-375
  
• Ugo Dal Lago, Ulrich Schöpp:
  Type Inference for Sublinear Space Functional Programming. 376-391
  

Session 9

• Edsko de Vries, Vasileios Koutavas, Matthew Hennessy:
  Liveness of Communicating Transactions (Extended Abstract). 392-407
  
• Chaodong He:
  Model Independent Order Relations for Processes. 408-423
  
• Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
  Concurrency Can't Be Observed, Asynchronously. 424-438
  

Tutorial

• Aquinas Hobor, Robert Dockins, Andrew W. Appel:
  A Logical Mix of Approximation and Separation. 439-454
  

Last update Tue May 22 23:22:46 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page