Analyzing Undefined Behavior with John Regehr
▻http://cppcast.libsyn.com/analyzing-undefined-behavior-with-john-regehr
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 (...)
▻http://traffic.libsyn.com/cppcast/cppcast-187.mp3?dest-id=282890