APLAS 2006: Sydney, Australia

Invited Talk 1

• Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
  Type Processing by Constraint Reasoning. 1-25
  Electronic Edition (link) BibTeX

Session 1

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

Session 2

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

Session 3

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

Invited Talk 2

• Jens Palsberg:
  Event Driven Software Quality. 165
  Electronic Edition (link) BibTeX

Session 4

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

Session 5

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

Invited Tutorial

• Matthew Flatt, Robert Bruce Findler, Matthias Felleisen:
  Scheme with Classes, Mixins, and Traits. 270-289
  Electronic Edition (link) BibTeX

Session 6

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

Session 7

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

Session 8

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