Papers Accepted for APLAS 2006

Widening Polyhedra with Landmarks Axel Simon and Andy King
Comparing completeness properties of static analyses and their logics David Schmidt
An Analysis for Proving Temporal Properties of Biological Systems Roberta Gori and Francesca Levi
A Pushdown Machine for Recursive XML Processing Keisuke Nakano and Shin-Cheng Mu
Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy Markus Lumpe
A Fine-Grained Join Point Model for More Reusable Aspects Yusuke Endoh, Hidehiko Masuhara and Akinori Yonezawa
XML Validation for Context-Free Grammars Yasuhiko Minamide and Akihiko Tozawa
Private row types: abstracting the unnamed Jacques Garrigue
A Practical String Analyzer by the Widening Approach Tae-Hyoung Choi, Hyun-Ha Kim, Oukseh Lee and Kyung-Goo Doh
Relational Reasoning for Recursive Types and References Nina Bohr and Lars Birkedal
On Jones-Optimal Specializers: A Case Study Using Unmix Johan Gade and Robert Glueck
Type and Effect System for Multi-Staged Exceptions Hyunjun Eo, Ik-Soon Kim and Kwangkeun Yi
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis Tobias Gedell, Jörgen Gustavsson and Josef Svenningsson
Principal Type Inference for GHC-Style Multi-Parameter Type Classes Martin Sulzmann, Tom Schrijvers and Peter J Stuckey
Reading, Writing and Relations Nick Benton, Andrew Kennedy, Martin Hofmann and Lennart Beringer
A Modal Language for the Safety of Mobile Values Sungwoo Park
Automatic Testing of Higher Order Functions Pieter Koopman and Rinus Plasmeijer
A bytecode logic for JML and Types Lennart Beringer and Martin Hofmann
Combining Offline and Online Optimizations: Register Allocation and Method Inlining Hiroshi Yamauchi and Jan Vitek
Proof Abstraction for Imperative Languages William L. Harrison
A Localized Tracing Scheme for Garbage Collection Yannis Chicha and Stephen M. Watt
Computational Secrecy by Typing for the Pi Calculus Martin Abadi, Ricardo Corin and Cedric Fournet