Episode 187
Analyzing Undefined Behavior
Rob and Jason are joined by John Regehr to talk about his job as a professor at the University of Utah teaching C++ courses and some of his research projects including souper and csmith.
February 21, 201954m 14s
Show Notes
Rob and Jason are joined by John Regehr to talk about his job as a professor at the University of Utah teaching C++ courses and some of his research projects including souper and csmith.
John Regehr is a professor at the University of Utah where he's been on the faculty since 2003. He likes to work on compilers and software correctness, but used to work on real-time and embedded systems. When he has free time he likes to go hiking in the desert with his kids.
News
- Five Awesome C++ Papers for Kona 2019 ISO Meeting
- The future of Catch2
- Some C++ on Sea videos already available
- Between linear and binary search
John Regehr
Links
- Souper
- Csmith
- C-Reduce
- C++Now 2018: John Regehr "Closing Keynote: Undefined Behavior and Compiler Optimizations"
Sponsors
- Download PVS-Studio
- Technologies used in the PVS-Studio code analyzer for finding bugs and potential vulnerabilities