The Third Asian Symposium on
Programming Languages and Systems
Programming Languages and Systems
Program
Day 0: November 2, 2005
13:00 - 17:30 Tutorials
13:00 - 15:00    Type Classes with Associated Types
Manuel M.T. Chakravarty
15:30 - 17:30    Type Systems for Object-Oriented Languages
Atsushi Igarashi
18:00 - 20:00 Reception
Day I: November 3, 2005
09:00 - 10:00 Invited Talk
Type Systems for XML
Haruo Hosoya
10:30 - 12:30 Session 1
The Essence of Dataflow Programing
Tarmo Uustalu, Varmo Vene
Data Refinement with Low-Level Pointer Operations
Ivana Mijajlovic, Hongseok Yang
A Simple Semantics for Polymorphic Recursion
William L. Harrison
Symbolic Execution with Separation Logic
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
14:00 - 16:00 Session 2
An Abstract Interpretation Perspective on Linear vs. Branching Time
Francesco Ranzato, Francesco Tapparo
The Parallel Implementation of the Astree Static Analyzer
David Monniaux
On the Role of Abstract Non-interference in Language-based Security
Isabella Mastroeni
Loop Invariants on Demand
K. Rustan M. Leino, Francesco Logozzo
16:30 - 17:30 Poster Session
Day II: November 4, 2005
09:00 - 10:00 Invited Talk
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Patrick Cousot
10:30 - 12:30 Session 3
Reflection Analysis for Java
Benjamin Livshits, John Whaley, Monica S. Lam
Lightweight Family Polymorphism
Atsushi Igarashi, Chieri Saito, Mirko Viroli
A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting
Walter Binder
Calculating Polynomial Runtime Properties
Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca
12:30 - 18:00 Excursion
18:00 - 20:00 Banquet
Day III: November 5, 2005
09:00 - 10:00 Invited Talk
A Next-Generation Platform for Analyzing Executables
Thomas Reps, G. Balakrishnan, J. Lim, T. Teitelbaum
10:30 - 12:30 Session 4
Race Conditions in Message Sequence Charts
Chien-An Chen, Sara Kalvala, Jane Sinclair
Resource Bound Certification for a Tail-Recursive Virtual Machine
Silvano Dal Zilio, Regis Gascon
A Path Sensitive Type System for Resource Usage Verification of C Like Languages
Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han
Termination Analysis of Higher-Order Functional Programs
Damien Sereni, Neil D. Jones
14:00 - 16:00 Session 5
Heterogeneous Fixed Points with Application to Points-to Analysis
Aditya Kanade, Uday Khedker, Amitabha Sanyal
Register Allocation Via Coloring of Chordal Graphs
Fernando Magno Quintao Pereira, Jens Palsberg
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor
Abstract Dependences for Alarm Diagnosis
Xavier Rival
16:30 - 18:30 Session 6
A Typed, Compositional Logic for a Stack-Based Abstract Machine
Nick Benton
A New Occurrence Counting Analysis for BioAmbients
Roberta Gori, Francesca Levi
A Parametric Model for the Analysis of Mobile Ambients
Dino Distefano
Using Datalog with Binary Decision Diagrams for Program Analysis
John Whaley, Dzintars Avots, Michael Carbin, Monica Lam