3 ms·The Correctness-Security Gap in Compiler Optimization (2015) [pdf]2 points by frederikvs 10y ago