The Correctness-Security Gap in Compiler Optimization - https://nebelwelt.net/publications/files/15LangSec.pdf
The Linux Scheduler: a Decade of Wasted Cores - https://www.ece.ubc.ca/~sasha/papers/eurosys16-final29.pdf
Simulating Physics with Computers - https://people.eecs.berkeley.edu/~christos/classics/Feynman.pdf