John Regehr: Difference between revisions
Content deleted Content added
add an infobox |
m →top: past tense |
||
| Line 7: | Line 7: | ||
| website = {{URL|https://www.cs.utah.edu/~regehr/}} |
| website = {{URL|https://www.cs.utah.edu/~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,<ref name="DietzLi2015">{{cite journal|last1=Dietz|first1=Will|last2=Li|first2=Peng|last3=Regehr|first3=John|last4=Adve|first4=Vikram|title=Understanding Integer Overflow in C/C++|journal=ACM Transactions on Software Engineering and Methodology|volume=25|issue=1|year=2015|pages=1–29|issn=1049-331X|doi=10.1145/2743019}}</ref> the C compiler fuzzer Csmith,<ref>{{cite web|title=Csmith|url=https://embed.cs.utah.edu/csmith/|publisher=University of Utah|accessdate=13 April 2016}}</ref><ref name="YangChen2011">{{cite journal|last1=Yang|first1=Xuejun|last2=Chen|first2=Yang|last3=Eide|first3=Eric|last4=Regehr|first4=John|title=Finding and understanding bugs in C compilers|journal=ACM SIGPLAN Notices|volume=46|issue=6|year=2011|pages=283|issn=0362-1340|doi=10.1145/1993316.1993532}}</ref> and his widely read blog [http://blog.regehr.org/ Embedded in Academia]. He |
'''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,<ref name="DietzLi2015">{{cite journal|last1=Dietz|first1=Will|last2=Li|first2=Peng|last3=Regehr|first3=John|last4=Adve|first4=Vikram|title=Understanding Integer Overflow in C/C++|journal=ACM Transactions on Software Engineering and Methodology|volume=25|issue=1|year=2015|pages=1–29|issn=1049-331X|doi=10.1145/2743019}}</ref> the C compiler fuzzer Csmith,<ref>{{cite web|title=Csmith|url=https://embed.cs.utah.edu/csmith/|publisher=University of Utah|accessdate=13 April 2016}}</ref><ref name="YangChen2011">{{cite journal|last1=Yang|first1=Xuejun|last2=Chen|first2=Yang|last3=Eide|first3=Eric|last4=Regehr|first4=John|title=Finding and understanding bugs in C compilers|journal=ACM SIGPLAN Notices|volume=46|issue=6|year=2011|pages=283|issn=0362-1340|doi=10.1145/1993316.1993532}}</ref> and his widely read blog [http://blog.regehr.org/ 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. <!-- cite http://blog.regehr.org/archives/1260 --> |
||
==References== |
==References== |
||
Revision as of 00:41, 26 March 2017
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. 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. doi:10.1145/2743019. ISSN 1049-331X.
- ^ "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. doi:10.1145/1993316.1993532. ISSN 0362-1340.