Biography:John Regehr

From HandWiki
Short description: American computer scientist
John Regehr
Alma materUniversity of Virginia (PhD)
OccupationComputer science professor, University of Utah
Known forCsmith, Clang integer overflow analyzer
Websitewww.cs.utah.edu/~regehr/

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.[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.

References

  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. https://embed.cs.utah.edu/csmith/. 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