Analyzing Undefined Behavior

Posted on Thursday, Feb 21, 2019
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.

Show Notes

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

Sponsors

Hosts

Guests

John Regehr

John Regehr

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.


pvs-studio


See a mistake? Edit this post!
comments powered by Disqus