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

This paper studies an emerging class of software bugs called optimization-unstable code: code that is unexpectedly discarded by compiler optimizations due to undefined behavior in the program. Unstable code is present in many systems, including the Linux kernel and the Postgres database. The consequ...

Full description

Bibliographic Details
Main Authors: Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans, Solar-Lezama, Armando
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Association for Computing Machinery 2014
Online Access:http://hdl.handle.net/1721.1/86980
https://orcid.org/0000-0003-0238-2703
https://orcid.org/0000-0001-7604-8252
https://orcid.org/0000-0001-7098-586X