APLAS 2009: Seoul, Korea

Invited Talks

• Koen Claessen:
  The Twilight Zone: From Testing to Formal Specifications and Back Again. 1
  
• Naoki Kobayashi:
  Types and Recursion Schemes for Higher-Order Program Verification. 2-3
  
• Armando Solar-Lezama:
  The Sketching Approach to Program Synthesis. 4-13
  

Program Analysis

• Hakjoo Oh:
  Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation. 14-29
  
• Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv:
  Abstract Transformers for Thread Correlation Analysis. 30-46
  
• Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker:
  Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. 47-62
  

Transformation and Optimization

• Akimasa Morihata:
  A Short Cut to Optimal Sequences. 63-78
  
• Shigeyuki Sato, Hideya Iwasaki:
  A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming. 79-94
  
• Ben Lippmeier:
  Witnessing Purity, Constancy and Mutability. 95-110
  

Type System

• Stefan Wehr, Peter Thiemann:
  On the Decidability of Subtyping with Bounded Existential Types. 111-127
  
• Kohei Suenaga, Naoki Kobayashi:
  Fractional Ownerships for Safe Memory Deallocation. 128-143
  
• Yi Lu, John Potter, Jingling Xue:
  Ownership Downgrading for Ownership Types. 144-160
  

Separation Logic

• Robert Dockins, Aquinas Hobor, Andrew W. Appel:
  A Fresh Look at Separation Algebras and Share Accounting. 161-177
  
• Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai:
  Weak updates and separation logic. 178-193
  
• Jules Villard, Étienne Lozes, Cristiano Calcagno:
  Proving Copyless Message Passing. 194-209
  

Logic and Foundation Theory

• Roberto M. Amadio:
  On Stratified Regions. 210-225
  
• Michele Pagani, Paolo Tranquilli:
  Parallel Reduction in Resource Lambda-Calculus. 226-242
  
• Daisuke Kimura, Yoshihiko Kakutani:
  Classical Natural Deduction for S4 Modal Logic. 243-258
  

Software Security and Verification

• Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis:
  Bi-abductive Resource Invariant Synthesis. 259-274
  
• Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang:
  Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine. 275-293
  
• Elvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla:
  Asymptotic Resource Usage Bounds. 294-310
  
• Nobuyuki Sato, Eijiro Sumii:
  The Higher-Order, Call-by-Value Applied Pi-Calculus. 311-326
  
• Hongfei Fu:
  Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable. 327-342
  
• Vincent Laviron, Francesco Logozzo:
  Refining Abstract Interpretation-Based Static Analyses with Hints. 343-358
  

Last update Tue May 22 23:22:46 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page