27. OOPSLA 2012: Tucson, Arizona, USA - Proceedings

Concurrency I

Verification

Compilation

Updating software

Concurrency II

Synthesis

Fault detection & avoidance

Program analysis I

Dynamic languages

Programming support I

Concurrency III

Types & modules

Program analysis II

Programming support II

Program understanding

maintained by Schloss Dagstuhl LZI at University of Trier