Analyzing Undefined Behavior

February 20, 2019 00:54:14 39.14 MB Downloads: 0
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

John Regehr

Links

Sponsors

Hosts