John Regehr's guest appearances

John Regehr

CppCast

Matt Fernandez

Scott Meyers

Ben Smith

Jackie Kay

Steve Klabnik

David Stone

Jeri Ellsworth

Sara Chipps

Travis CI

DAVID ADLER

Jason Turner

Matt Butler

Sarah Smith

Stephen Kelly

Anthony Williams

OwlTail

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

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.<br>        <p>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.</p> <h3>News</h3> <ul> <li><a href="https://www.bfilipek.com/2019/02/papers-kona.html" rel="nofollow" target="_blank">Five Awesome C++ Papers for Kona 2019 ISO Meeting</a></li> <li><a href="https://codingnest.com/the-future-of-catch2/" rel="nofollow" target="_blank">The future of Catch2</a></li> <li><a href="https://www.youtube.com/channel/UCAczr0j6ZuiVaiGFZ4qxApw/videos" rel="nofollow" target="_blank">Some C++ on Sea videos already available</a></li> <li><a href="https://medium.com/@denis.yaroshevskij/between-linear-and-binary-search-8d21877cfce5" rel="nofollow" target="_blank">Between linear and binary search</a></li> </ul> <h3>John Regehr</h3> <ul> <li><a href="https://twitter.com/johnregehr" rel="nofollow" target="_blank">@johnregehr</a></li> <li><a href="http://john.regehr.org/" rel="nofollow" target="_blank">John Regehr's Personal Page</a></li> <li><a href="https://blog.regehr.org/" rel="nofollow" target="_blank">John Regehr's Blog</a></li> </ul> <h3>Links</h3> <ul> <li><a href="https://github.com/google/souper" rel="nofollow" target="_blank">Souper</a></li> <li><a href="https://embed.cs.utah.edu/csmith/" rel="nofollow" target="_blank">Csmith</a></li> <li><a href="https://embed.cs.utah.edu/creduce/" rel="nofollow" target="_blank">C-Reduce</a></li> <li><a href="https://www.youtube.com/watch?v=AeEwxtEOgH0" rel="nofollow" target="_blank">C++Now 2018: John Regehr "Closing Keynote: Undefined Behavior and Compiler Optimizations"</a></li> </ul> <h3>Sponsors</h3> <ul> <li><a href="https://www.viva64.com/en/pvs-studio-download/" rel="nofollow" target="_blank">Download PVS-Studio</a></li> <li><a href="https://www.viva64.com/en/b/0592/" rel="nofollow" target="_blank">Technologies used in the PVS-Studio code analyzer for finding bugs and potential vulnerabilities</a></li> </ul> <h3>Hosts</h3> <ul> <li><a href="https://twitter.com/robwirving" rel="nofollow" target="_blank">@robwirving</a></li> <li><a href="https://twitter.com/lefticus" rel="nofollow" target="_blank">@lefticus</a></li></ul>

Analyzing Undefined Behavior