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.

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

• @johnregehr
• John Regehr's Personal Page
• John Regehr's Blog

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

Hosts

• @robwirving
• @lefticus