John Regehr

Last updated
John Regehr
Education University of Virginia (PhD)
OccupationsComputer science professor, University of Utah
Known for Csmith, Clang integer overflow analyzer
Website www.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. S2CID   62496398.
  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.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.