The Correctness-Security Gap in Compiler Optimization (2015) [pdf] | Hacker News Reader