APLAS 2009: Seoul, Korea

Invited Talks

Program Analysis

Transformation and Optimization

Type System

Separation Logic

Logic and Foundation Theory

Software Security and Verification