John Regehr
Jump to navigation
Jump to search
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 |
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
- ^ 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
Categories:
- Articles with short description
- Short description matches Wikidata
- Articles with hCards
- Articles containing potentially dated statements from 2016
- All articles containing potentially dated statements
- All articles with unsourced statements
- Articles with unsourced statements from September 2020
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with MGP identifiers
- Articles with ORCID identifiers
- Living people
- American computer scientists
- University of Utah faculty
- Science bloggers
- 21st-century science writers
- Year of birth missing (living people)
- University of Virginia alumni
- Kansas State University alumni