John Regehr Explained

John Regehr
Birth Date:1 January 1900 -->
Known For:Csmith, Clang integer overflow analyzer
Alma Mater:University of Virginia (PhD)
Occupation:Computer science professor, University of Utah

John Regehr is a computer scientist specializing in compiler correctness and undefined behavior., 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.

External links

Notes and References

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