← Back to John Regehr

Revision of John Regehr

← Back to history

system · · syncWikidata sync

Changes

FieldBeforeAfter
Description—John Regehr is a computer scientist specializing in compiler correctness and undefined behavior. As of 2016, 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, the C compiler fuzzer Csmith, and his widely read blog Embedded in Academia. He spent the 2015-2016 academic year on sabbatical in Paris, France, working with TrustInSoft on Frama-C and related code analysis tools.
Type—person

Added handles

  • Website: https://john.regehr.org/
  • ORCID: 0000-0001-7025-4610