John_Regehr Knowpia

John Regehr
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.cs.utah.edu/~regehr/

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.

References edit

^ 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. CiteSeerX 10.1.1.224.4377. doi:10.1145/2743019. ISSN 1049-331X. S2CID 62496398.
^ "Csmith". University of Utah. Retrieved 13 April 2016.
^ Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Finding and understanding bugs in C compilers". ACM SIGPLAN Notices. 46 (6): 283. CiteSeerX 10.1.1.434.8805. doi:10.1145/1993316.1993532. ISSN 0362-1340.

External links edit

John Regehr's home page
John Regehr on Mastodon

[DietzLi2015-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. CiteSeerX 10.1.1.224.4377. doi:10.1145/2743019. ISSN 1049-331X. S2CID 62496398.

[2] "Csmith". University of Utah. Retrieved 13 April 2016.

[YangChen2011-3] Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Finding and understanding bugs in C compilers". ACM SIGPLAN Notices. 46 (6): 283. CiteSeerX 10.1.1.434.8805. doi:10.1145/1993316.1993532. ISSN 0362-1340.

[1]

[2]

[3]

Summary

References edit

External links edit