Джон Регер - John Regehr

Джон Регер
Альма-матерУниверситет Вирджинии (Кандидат наук)
Род занятийПрофессор информатики, Университет Юты
ИзвестенCsmith, Лязг целочисленный анализатор переполнения
Интернет сайтwww.cs.Юта.edu/ ~ регер/

Джон Регер компьютерный ученый, специализирующийся на корректность компилятора и неопределенное поведение. По состоянию на 2016 год, он профессор Университет Юты. Он наиболее известен целочисленное переполнение дезинфицирующее средство, которое было слито с Лязг Компилятор C,[1] компилятор C фаззер Csmith,[2][3] и его широко читаемый блог Встроено в Academia.[нужна цитата ] 2015-2016 учебный год он провел в творческом отпуске в Париже, Франция, работая с TrustInSoft над Фрама-С и соответствующие инструменты анализа кода.

Рекомендации

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

внешняя ссылка