Upcoming

We won’t by any means read all these papers.

Static analyzers

Testing and fuzzing

Software contracts

Language extensions

System design for robustness

Undefined behavior