APLAS 2011: Shanghai, China

Invited Talks

Session 1: Program Analysis

Session 2: Functional Programming

Session 3: Compiler

Session 4: Concurrency 1

Session 5: Concurrency 2

Session 6: Semantics

Session 7: Certification and Logic