peoplepill id: john-regehr
American computer scientist
John Regehr
The basics
Quick Facts
Intro
American computer scientist
Places
Work field
Gender
Male
Education
University of Virginia
The details (from wikipedia)
Biography
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, the C compiler fuzzer Csmith, 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.
The contents of this page are sourced from Wikipedia article.
The contents are available under the CC BY-SA 4.0 license.
Lists
John Regehr is in following lists
By work and/or country
comments so far.
Comments
Credits
References and sources
John Regehr