APLAS 2005

27 papers

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