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.
CppCast · Phil Nash & Timur Doumler
February 21, 201954m 14s
Audio is streamed directly from the publisher (media.transistor.fm) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
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