APLAS 2006 Preliminary Program

Day I: November 8, 2006

09:15 - 09:30 Opening

09:30 - 10:30 Invited Talk

Type Processing by Constraint Reasoning
Peter Stuckey

11:00 - 12:30 Session 1

Principal Type Inference for GHC-Style Multi-Parameter Type Classes
Martin Sulzmann, Tom Schrijvers and Peter J Stuckey

Private row types: abstracting the unnamed
Jacques Garrigue

Type and Effect System for Multi-Staged Exceptions
Hyunjun Eo, Ik-Soon Kim and Kwangkeun Yi

14:00 - 15:30 Session 2

Relational Reasoning for Recursive Types and References
Nina Bohr and Lars Birkedal

Proof Abstraction for Imperative Languages
William L. Harrison

Reading, Writing and Relations
Nick Benton, Andrew Kennedy, Martin Hofmann and Lennart Beringer

16:00 - 17:00 Session 3

A Localized Tracing Scheme for Garbage Collection
Yannis Chicha and Stephen M. Watt

Automatic Testing of Higher Order Functions
Pieter Koopman and Rinus Plasmeijer

Day II: November 9, 2006

09:30 - 10:30 Invited Talk

Event Driven Software Quality
Jens Palsberg

11:00 - 12:30 Session 4

Widening Polyhedra with Landmarks
Axel Simon and Andy King

Comparing completeness properties of static analyses and their logics
David Schmidt

Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
Tobias Gedell, Jorgen Gustavsson and Josef Svenningsson

14:00 - 15:30 Session 5

A Modal Language for the Safety of Mobile Values
Sungwoo Park

An Analysis for Proving Temporal Properties of Biological Systems
Roberta Gori and Francesca Levi

Computational Secrecy by Typing for the Pi Calculus
Martin Abadi, Ricardo Corin and Cedric Fournet

15:45 - 17:15 Poster Session

Day III: November 10, 2006

9:30 - 10:30 Invited Tutorial

Scheme with Classes, Mixins, and Traits
Matthew Flatt

11:00 - 12:30 Session 6

Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy
Markus Lumpe

Combining Offline and Online Optimizations: Register Allocation and Method Inlining
Hiroshi Yamauchi and Jan Vitek

A Fine-Grained Join Point Model for More Reusable Aspects
Yusuke Endoh, Hidehiko Masuhara and Akinori Yonezawa

14:00 - 15:30 Session 7

A Pushdown Machine for Recursive XML Processing
Keisuke Nakano and Shin-Cheng Mu

XML Validation for Context-Free Grammars
Yasuhiko Minamide and Akihiko Tozawa

A Practical String Analyzer by the Widening Approach
Tae-Hyoung Choi, Hyun-Ha Kim, Oukseh Lee and Kyung-Goo Doh

16:00 - 17:00 Session 8

A bytecode logic for JML and Types
Lennart Beringer and Martin Hofmann

On Jones-Optimal Specializers: A Case Study Using Unmix
Johan Gade and Robert Glueck