Towards Optimization-Safe Systems: Impact of Undefined Behavior (2013) [pdf]pdos.csail.mit.edu6 pointsingve11 years ago