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

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

Browse the full SOSP paper archive.