APLAS 2006: Sydney, Australia

Invited Talk 1

• Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
  Type Processing by Constraint Reasoning. 1-25
  

Session 1

• Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey:
  Principal Type Inference for GHC-Style Multi-parameter Type Classes. 26-43
  
• Jacques Garrigue:
  Private Row Types: Abstracting the Unnamed. 44-60
  
• Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi:
  Type and Effect System for Multi-staged Exceptions. 61-78
  

Session 2

• Nina Bohr, Lars Birkedal:
  Relational Reasoning for Recursive Types and References. 79-96
  
• William L. Harrison:
  Proof Abstraction for Imperative Languages. 97-113
  
• Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer:
  Reading, Writing and Relations. 114-130
  

Session 3

• Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa:
  A Fine-Grained Join Point Model for More Reusable Aspects. 131-147
  
• Pieter W. M. Koopman, Rinus Plasmeijer:
  Automatic Testing of Higher Order Functions. 148-164
  

Invited Talk 2

• Jens Palsberg:
  Event Driven Software Quality. 165
  

Session 4

• Axel Simon, Andy King:
  Widening Polyhedra with Landmarks. 166-182
  
• David A. Schmidt:
  Comparing Completeness Properties of Static Analyses and Their Logics. 183-199
  
• Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson:
  Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. 200-216
  

Session 5

• Sungwoo Park:
  A Modal Language for the Safety of Mobile Values. 217-233
  
• Roberta Gori, Francesca Levi:
  An Analysis for Proving Temporal Properties of Biological Systems. 234-252
  
• Martín Abadi, Ricardo Corin, Cédric Fournet:
  Computational Secrecy by Typing for the Pi Calculus. 253-269
  

Invited Tutorial

• Matthew Flatt, Robert Bruce Findler, Matthias Felleisen:
  Scheme with Classes, Mixins, and Traits. 270-289
  

Session 6

• Markus Lumpe:
  Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy. 290-306
  
• Hiroshi Yamauchi, Jan Vitek:
  Combining Offline and Online Optimizations: Register Allocation and Method Inlining. 307-322
  
• Yannis Chicha, Stephen M. Watt:
  A Localized Tracing Scheme Applied to Garbage Collection. 323-339
  

Session 7

• Keisuke Nakano, Shin-Cheng Mu:
  A Pushdown Machine for Recursive XML Processing. 340-356
  
• Yasuhiko Minamide, Akihiko Tozawa:
  XML Validation for Context-Free Grammars. 357-373
  
• Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh:
  A Practical String Analyzer by the Widening Approach. 374-388
  

Session 8

• Lennart Beringer, Martin Hofmann:
  A Bytecode Logic for JML and Types. 389-405
  
• Johan Gade, Robert Glück:
  On Jones-Optimal Specializers: A Case Study Using Unmix. 406-422