PLDI 2015: Portland, OR, USA

Distinguished Papers

Correctness

Verification

Optimization

TOPLAS

Concurrency I

Synthesis I

Concurrency II

Analysis

Semantics I

Performance

Semantics II

Logic

Parallelism

Potpourri

Synthesis II

maintained by Schloss Dagstuhl LZI at University of Trier