APLAS 2005: Tsukuba, Japan

Kwangkeun Yi (Ed.): Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3780 Springer 2005, ISBN 3-540-29735-9 BibTeX

Invited Talk

Haruo Hosoya:
Type Systems for XML. 1
Electronic Edition (link) BibTeX

Session 1

Tarmo Uustalu, Varmo Vene:
The Essence of Dataflow Programming. 2-18
Electronic Edition (link) BibTeX
Ivana Mijajlovic, Hongseok Yang:
Data Refinement with Low-Level Pointer Operations. 19-36
Electronic Edition (link) BibTeX
William L. Harrison:
A Simple Semantics for Polymorphic Recursion. 37-51
Electronic Edition (link) BibTeX
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn:
Symbolic Execution with Separation Logic. 52-68
Electronic Edition (link) BibTeX

Session 2

Francesco Ranzato, Francesco Tapparo:
An Abstract Interpretation Perspective on Linear vs. Branching Time. 69-85
Electronic Edition (link) BibTeX
David Monniaux:
The Parallel Implementation of the Astrée Static Analyzer. 86-96
Electronic Edition (link) BibTeX
John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam:
Using Datalog with Binary Decision Diagrams for Program Analysis. 97-118
Electronic Edition (link) BibTeX
K. Rustan M. Leino, Francesco Logozzo:
Loop Invariants on Demand. 119-134
Electronic Edition (link) BibTeX

Invited Talk

Patrick Cousot:
Integrating Physical Systems in the Static Analysis of Embedded Control Software. 135-138
Electronic Edition (link) BibTeX

Session 3

V. Benjamin Livshits, John Whaley, Monica S. Lam:
Reflection Analysis for Java. 139-160
Electronic Edition (link) BibTeX
Atsushi Igarashi, Chieri Saito, Mirko Viroli:
Lightweight Family Polymorphism. 161-177
Electronic Edition (link) BibTeX
Walter Binder:
A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting. 178-194
Electronic Edition (link) BibTeX
Chien-An Chen, Sara Kalvala, Jane Sinclair:
Race Conditions in Message Sequence Charts. 195-211
Electronic Edition (link) BibTeX

Invited Talk

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum:
A Next-Generation Platform for Analyzing Executables. 212-229
Electronic Edition (link) BibTeX

Session 4

Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca:
Calculating Polynomial Runtime Properties. 230-246
Electronic Edition (link) BibTeX
Silvano Dal-Zilio, Régis Gascon:
Resource Bound Certification for a Tail-Recursive Virtual Machine. 247-263
Electronic Edition (link) BibTeX
Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han:
A Path Sensitive Type System for Resource Usage Verification of C Like Languages. 264-280
Electronic Edition (link) BibTeX
Damien Sereni, Neil D. Jones:
Termination Analysis of Higher-Order Functional Programs. 281-297
Electronic Edition (link) BibTeX

Session 5

Aditya Kanade, Uday P. Khedker, Amitabha Sanyal:
Heterogeneous Fixed Points with Application to Points-To Analysis. 298-314
Electronic Edition (link) BibTeX
Fernando Magno Quintão Pereira, Jens Palsberg:
Register Allocation Via Coloring of Chordal Graphs. 315-329
Electronic Edition (link) BibTeX
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor:
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. 330-346
Electronic Edition (link) BibTeX
Xavier Rival:
Abstract Dependences for Alarm Diagnosis. 347-363
Electronic Edition (link) BibTeX

Session 6

Nick Benton:
A Typed, Compositional Logic for a Stack-Based Abstract Machine. 364-380
Electronic Edition (link) BibTeX
Roberta Gori, Francesca Levi:
A New Occurrence Counting Analysis for BioAmbients. 381-400
Electronic Edition (link) BibTeX
Dino Distefano:
A Parametric Model for the Analysis of Mobile Ambients. 401-417
Electronic Edition (link) BibTeX
Isabella Mastroeni:
On the Rôle of Abstract Non-interference in Language-Based Security. 418-433
Electronic Edition (link) BibTeX