John Regehr | |
---|---|
Alma mater | University of Virginia (PhD) |
Occupation(s) | Computer science professor, University of Utah |
Known for | Csmith, Clang integer overflow analyzer |
Website |
www |
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.
John Regehr | |
---|---|
Alma mater | University of Virginia (PhD) |
Occupation(s) | Computer science professor, University of Utah |
Known for | Csmith, Clang integer overflow analyzer |
Website |
www |
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.