References
- ISO. ISO/IEC 9899:2011 Information technology - Programming languages - C. 2011.
- Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama. Towards optimization-safe systems: analyzing the impact of undefined behavior. In SOSP, 2013.
- Chris Hathhom, Chucky Ellison, Grigore Rosu. Defining the undefinedness of C. In PLDI, 2015
- Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama. A differential approach to undefined behavior detection. CACM, 2016
- Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis. A formal C memory model supporting integer-pointer casts. In PLDI, 2015.
- Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes. Taming undefined behavior in LLVM. In PLDl, 2017.
- Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer. A promising semantics for relaxed-memory concurrency. In POPL, 2017.
- Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer. Repairing sequential consistency in C/C++11. In PLDl, 2017.
- Robbert Krebbers. The C standard formalized in Coq. PhD thesis, Radboud University Nijmegen, 2015.