Towards optimization-safe systems: analyzing the impact of undefined behavior. (2013)

by X Wang, N Zeldovich, M F Kaashoek, A Solar-Lezama
Venue:In SOSP,