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