John Regehr es un científico informático que se especializa en la corrección del compilador y el comportamiento indefinido . A partir de 2016 [actualizar], es profesor en la Universidad de Utah . Es mejor conocido por el desinfectante de desbordamiento de enteros que se fusionó con el compilador Clang C, [1] el difusor del compilador C Csmith , [2] [3] y su blog ampliamente leído Embedded in Academia . [ cita requerida ] Pasó el año académico 2015-2016 en un año sabático en París, Francia, trabajando con TrustInSoft en Frama-C y herramientas de análisis de código relacionadas.
John Regehr | |
---|---|
alma mater | Universidad de Virginia (PhD) |
Ocupación | Profesor de informática, Universidad de Utah |
Conocido por | Csmith , analizador de desbordamiento de enteros de Clang |
Sitio web | www |
Referencias
- ^ Dietz, Will; Li, Peng; Regehr, John; Adve, Vikram (2015). "Comprensión del desbordamiento de enteros en C / C ++". Transacciones ACM sobre Ingeniería y Metodología de Software . 25 (1): 1–29. CiteSeerX 10.1.1.224.4377 . doi : 10.1145 / 2743019 . ISSN 1049-331X .
- ^ "Csmith" . Universidad de Utah . Consultado el 13 de abril de 2016 .
- ^ Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Encontrar y comprender errores en los compiladores de C". Avisos ACM SIGPLAN . 46 (6): 283. CiteSeerX 10.1.1.434.8805 . doi : 10.1145 / 1993316.1993532 . ISSN 0362-1340 .