About: John Regehr

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property	Value
dbo:abstract	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. (en)
dbo:almaMater	dbr:University_of_Virginia
dbo:knownFor	dbr:Clang dbr:Csmith
dbo:occupation	dbr:University_of_Utah dbr:John_Regehr__PersonFunction__1
dbo:wikiPageExternalLink	https://www.cs.utah.edu/~regehr/ http://blog.regehr.org/
dbo:wikiPageID	50148392 (xsd:integer)
dbo:wikiPageLength	2306 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1094940411 (xsd:integer)
dbo:wikiPageWikiLink	dbr:University_of_Utah dbr:University_of_Virginia dbr:Integer_overflow dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbr:Clang dbr:Compiler_correctness dbc:American_computer_scientists dbc:University_of_Utah_faculty dbc:University_of_Virginia_alumni dbr:Csmith dbr:Frama-C dbc:Kansas_State_University_alumni dbc:Science_bloggers dbr:Undefined_behavior dbr:Fuzzer
dbp:almaMater	dbr:University_of_Virginia
dbp:knownFor	Csmith, Clang integer overflow analyzer (en)
dbp:name	John Regehr (en)
dbp:occupation	Computer science professor, University of Utah (en)
dbp:website	https://www.cs.utah.edu/~regehr/
dbp:wikiPageUsesTemplate	dbt:As_of dbt:Authority_control dbt:Citation_needed dbt:Infobox_person dbt:Reflist dbt:Short_description dbt:Twitter
dcterms:subject	dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:American_computer_scientists dbc:University_of_Utah_faculty dbc:University_of_Virginia_alumni dbc:Kansas_State_University_alumni dbc:Science_bloggers
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Species schema:Person
rdfs:comment	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. (en)
rdfs:label	John Regehr (en)
owl:sameAs	yago-res:John Regehr https://dblp.org/pid/r/JohnRegehr wikidata:John Regehr https://global.dbpedia.org/id/2FbzF
prov:wasDerivedFrom	wikipedia-en:John_Regehr?oldid=1094940411&ns=0
foaf:homepage	https://www.cs.utah.edu/~regehr/
foaf:isPrimaryTopicOf	wikipedia-en:John_Regehr
foaf:name	John Regehr (en)
is dbo:author of	dbr:Csmith
is dbo:wikiPageDisambiguates of	dbr:Regehr
is dbo:wikiPageRedirects of	dbr:Regehr,_John
is dbo:wikiPageWikiLink of	dbr:List_of_University_of_Utah_people dbr:Csmith dbr:Goto dbr:Regehr dbr:Circular_shift dbr:Regehr,_John dbr:University_of_Utah_School_of_Computing
is foaf:primaryTopic of	wikipedia-en:John_Regehr