Finding and understanding bugs in C compilers
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation
San Jose, California, USA
Association for Computing Machinery
New York, NY, USA
- Practical, low-effort equivalence verification of real code [ramos:cav:2011]
The opinions expressed are my own views and not my employer’s.