APLAS 2012: Kyoto, Japan

Session I: Invited Talk

Session II: Concurrency

Session III: Security

Session IV: Static Analysis I

Session V: Static Analysis II

Session VI: Language Design

Session VII: Dynamic Analysis

Session VIII: Complexity and Semantics

Session IX: Invited Talk

Session X: Program Logics and Verification

Session XI: Invited Talk