Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama. Towards optimization-safe systems: analyzing the impact of undefined behavior. In Michael Kaminsky, Mike Dahlin, editors, ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013. pages 260-275, ACM, 2013. [doi]
Abstract is missing.