John Regehr

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
John Regehr
Alma materUniversity of Virginia (PhD)
OccupationComputer science professor, University of Utah
Known forCsmith, Clang integer overflow analyzer

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,[1] the C compiler fuzzer Csmith,[2][3] 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.


  1. ^ Dietz, Will; Li, Peng; Regehr, John; Adve, Vikram (2015). "Understanding Integer Overflow in C/C++". ACM Transactions on Software Engineering and Methodology. 25 (1): 1–29. doi:10.1145/2743019. ISSN 1049-331X.
  2. ^ "Csmith". University of Utah. Retrieved 13 April 2016.
  3. ^ Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Finding and understanding bugs in C compilers". ACM SIGPLAN Notices. 46 (6): 283. doi:10.1145/1993316.1993532. ISSN 0362-1340.

External links[edit]