PLDI 2016: Santa Barbara, CA, USA

Refine list

showing all ?? records

Down to the Metal I

Verification I

Testing and Debugging

Energy and Performance

New Languages

Parsing and Compilation

Down to the Metal II

Types I

Synthesis I

Software-Defined Networking

Verifying Systems

Types II

Synthesis II

Parallelism I

Memory Management

Verification II


Parallelism II

a service of  Schloss Dagstuhl - Leibniz Center for Informatics