John 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, the C compiler fuzzer Csmith, and his widely read blog Embedded in Academia. He is spending the 2015-2016 academic year on sabbatical in Paris, France, working with TrustInSoft on Frama-C and related code analysis tools.
Wikipage disambiguates
primaryTopic
John 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, the C compiler fuzzer Csmith, and his widely read blog Embedded in Academia. He is spending the 2015-2016 academic year on sabbatical in Paris, France, working with TrustInSoft on Frama-C and related code analysis tools.
has abstract
John Regehr is a computer scie ...... d related code analysis tools.
@en
known for
occupation
Link from a Wikipage to an external page
Wikipage page ID
50,148,392
Wikipage revision ID
725,482,181
comment
John Regehr is a computer scie ...... d related code analysis tools.
@en
label
John Regehr
@en
wasDerivedFrom
gender
male
@en
givenName
John
@en
homepage
isPrimaryTopicOf
name
John Regehr
@en
surname
Regehr
@en