PLDI 2016: Santa Barbara, CA, USA

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

Security

Parallelism II