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

Rust unsafe code, Undefined behaviour