APLAS 2005: Tsukuba, Japan

Invited Talk

• Haruo Hosoya:
  Type Systems for XML. 1
  

Session 1

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

Session 2

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

Invited Talk

• Patrick Cousot:
  Integrating Physical Systems in the Static Analysis of Embedded Control Software. 135-138
  

Session 3

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

Invited Talk

• Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum:
  A Next-Generation Platform for Analyzing Executables. 212-229
  

Session 4

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

Session 5

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

Session 6

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