John Regehr - John Regehr
John Regehr | |
---|---|
Alma mater | University of Virginia (PhD) |
obsazení | Profesor informatiky, University of Utah |
Známý jako | Csmith, Zvonit analyzátor přetečení celého čísla |
webová stránka | www |
John Regehr je počítačový vědec se specializací na správnost překladače a nedefinované chování. Od roku 2016[Aktualizace], je profesorem na University of Utah. On je nejlépe známý pro přetečení celého čísla dezinfekční prostředek, který byl sloučen do Zvonit Kompilátor C,[1] překladač C. fuzzer Csmith,[2][3] a jeho široce čtený blog Zabudováno v Academii.[Citace je zapotřebí ] Akademický rok 2015–2016 strávil na sabbaticalu v Paříži ve Francii, kde pracoval s TrustInSoft Frama-C a související nástroje pro analýzu kódu.
Reference
- ^ Dietz, Will; Li, Peng; Regehr, John; Adve, Vikram (2015). "Porozumění přetečení celého čísla v C / C ++". Transakce ACM v softwarovém inženýrství a metodice. 25 (1): 1–29. CiteSeerX 10.1.1.224.4377. doi:10.1145/2743019. ISSN 1049-331X.
- ^ "Csmith". University of Utah. Citováno 13. dubna 2016.
- ^ Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Hledání a porozumění chybám v kompilátorech jazyka C". Oznámení ACM SIGPLAN. 46 (6): 283. CiteSeerX 10.1.1.434.8805. doi:10.1145/1993316.1993532. ISSN 0362-1340.