2014 USENIX Federated Conferences Week · June 17-20, 2014

Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior

Authors: 

Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama, MIT CSAIL

Best Paper at SOSP ’13: Link to Paper