Towards optimization-safe systems: Analyzing the impact of undefined behavior
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
SOSP '13
Farminton, Pennsylvania
Association for Computing Machinery
New York, NY, USA
Pages 260-275
2013
Note(s): undefined behaviour
SOSP '13
Farminton, Pennsylvania
Association for Computing Machinery
New York, NY, USA
Pages 260-275
2013
Note(s): undefined behaviour