APLAS 2008: Bangalore, India

• Dino Distefano:
  Abductive Inference for Reasoning about Heaps. 1-2
  
• Liqian Chen, Antoine Miné, Patrick Cousot:
  A Sound Floating-Point Polyhedra Abstract Domain. 3-18
  
• Alexandru Stefan, Florin Craciun, Wei-Ngan Chin:
  A Flow-Sensitive Region Inference for CLI. 19-35
  
• Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid:
  Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. 36-52
  
• Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma:
  Static Detection of Place Locality and Elimination of Runtime Checks. 53-74
  
• Gilles Barthe, César Kunz, Jorge Luis Sacchini:
  Certified Reasoning in Memory Hierarchies. 75-90
  
• Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
  The Complexity of Coverage. 91-106
  
• Xin Chen, Yuxin Deng:
  Game Characterizations of Process Equivalences. 107-121
  
• Kazuyuki Asada:
  Extensional Universal Types for Call-by-Value. 122-137
  
• Simon L. Peyton Jones:
  Harnessing the Multicores: Nested Data Parallelism in Haskell. 138
  
• Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen:
  Minimal Ownership for Active Objects. 139-154
  
• Kohei Suenaga:
  Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. 155-170
  
• Christian Haack, Marieke Huisman, Clément Hurlin:
  Reasoning about Java's Reentrant Locks. 171-187
  
• Stefan Wehr, Manuel M. T. Chakravarty:
  ML Modules and Haskell Type Classes: A Constructive Comparison. 188-204
  
• Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
  The Essence of Form Abstraction. 205-220
  
• Roberto M. Amadio, Mehdi Dogguy:
  On Affine Usages in Signal-Based Communication. 221-236
  
• Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet:
  Abstraction of Clocks in Synchronous Data-Flow Systems. 237-254
  
• Radha Jagadeesan:
  From Authorization Logics to Types for Authorization. 255
  
• Peter Thiemann, Stefan Wehr:
  Interface Types for Haskell. 256-272
  
• Matthias Blume, Umut A. Acar, Wonseok Chae:
  Exception Handlers as Extensible Cases. 273-289
  
• Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith:
  Sound and Complete Type Inference for a Systems Programming Language. 290-306
  
• Sergio Maffeis, John C. Mitchell, Ankur Taly:
  An Operational Semantics for JavaScript. 307-325
  
• Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov:
  JavaScript Instrumentation in Practice. 326-341