John Regehr

John Regehr is a computer scientist specializing in compiler correctness and undefined behavior.

As of 2016[update], he is a professor at the University of Utah.

He is best known for the integer overflow sanitizer which was merged into the Clang C compiler,[1] the C compiler fuzzer Csmith,[2][3] and his widely read blog Embedded in Academia.

[citation needed] He spent the 2015-2016 academic year on sabbatical in Paris, France, working with TrustInSoft on Frama-C and related code analysis tools.