Джон Регер - ученый-компьютерщик, специализирующийся на корректности компилятора и неопределенном поведении . По состоянию на 2016 год [Обновить]он является профессором Университета Юты . Он известен прежде всего дезинфицирующим средством целочисленного переполнения, которое было объединено с компилятором Clang C, [1] фаззером компилятора C Csmith , [2] [3] и его широко читаемым блогом Embedded in Academia . [ необходима цитата ] 2015-2016 учебный год он провел в творческом отпуске в Париже, Франция, работая с TrustInSoft над Frama-C. и соответствующие инструменты анализа кода.
Джон Регер | |
---|---|
Альма-матер | Университет Вирджинии (доктор философии) |
Занятие | Профессор информатики Университета Юты |
Известен | Csmith , анализатор целочисленного переполнения Clang |
Веб-сайт | www |
Рекомендации
- ^ Дитц, Уилл; Ли, Пэн; Регер, Джон; Адве, Викрам (2015). «Понимание целочисленного переполнения в C / C ++». ACM Transactions по программной инженерии и методологии . 25 (1): 1-29. CiteSeerX 10.1.1.224.4377 . DOI : 10.1145 / 2743019 . ISSN 1049-331X .
- ^ "Csmith" . Университет Юты . Проверено 13 апреля +2016 .
- ^ Ян, Сюэцзюнь; Чен, Ян; Эйде, Эрик; Регер, Джон (2011). «Поиск и понимание ошибок в компиляторах Си». Уведомления ACM SIGPLAN . 46 (6): 283. CiteSeerX 10.1.1.434.8805 . DOI : 10.1145 / 1993316.1993532 . ISSN 0362-1340 .