PLDI 2015: Portland, OR, USA

Refine list

showing all ?? records

Distinguished Papers

Correctness

Verification

Optimization

TOPLAS

Concurrency I

Synthesis I

Concurrency II

Analysis

Semantics I

Performance

Semantics II

Logic

Parallelism

Potpourri

Synthesis II

a service of  Schloss Dagstuhl - Leibniz Center for Informatics