APLAS 2009

24 papers

1. A Fresh Look at Separation Algebras and Share Accounting · Robert Dockins, Aquinas Hobor, Andrew W. Appel
2. A Short Cut to Optimal Sequences · Akimasa Morihata
3. A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming · Shigeyuki Sato, Hideya Iwasaki
4. Abstract Transformers for Thread Correlation Analysis · Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv
5. Asymptotic Resource Usage Bounds · Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla
6. Bi-abductive Resource Invariant Synthesis · Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis
7. Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable · Hongfei Fu
8. Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine · Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang
9. Classical Natural Deduction for S4 Modal Logic · Daisuke Kimura, Yoshihiko Kakutani
10. Fractional Ownerships for Safe Memory Deallocation · Kohei Suenaga, Naoki Kobayashi
11. Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation · Hakjoo Oh
12. On Stratified Regions · Roberto M. Amadio
13. On the Decidability of Subtyping with Bounded Existential Types · Stefan Wehr, Peter Thiemann
14. Ownership Downgrading for Ownership Types · Yi Lu, John Potter, Jingling Xue
15. Parallel Reduction in Resource Lambda-Calculus · Michele Pagani, Paolo Tranquilli
16. Proving Copyless Message Passing · Jules Villard, Étienne Lozes, Cristiano Calcagno
17. Refining Abstract Interpretation-Based Static Analyses with Hints · Vincent Laviron, Francesco Logozzo
18. Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters · Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker
19. The Higher-Order, Call-by-Value Applied Pi-Calculus · Nobuyuki Sato, Eijiro Sumii
20. The Sketching Approach to Program Synthesis · Armando Solar-Lezama
21. The Twilight Zone: From Testing to Formal Specifications and Back Again · Koen Claessen
22. Types and Recursion Schemes for Higher-Order Program Verification · Naoki Kobayashi
23. Weak updates and separation logic · Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
24. Witnessing Purity, Constancy and Mutability · Ben Lippmeier