Томас В. Репс

Томас Уильям Репс
Рожденный	( 1956-05-28 ) 28 мая 1956 г.
Альма-матер	Гарвардский университет , бакалавр, с отличием , 1977 год. Корнелльский университет , магистр, 1982 г., доктор философии, 1985 г.
Научная карьера
Учреждения	Университет Висконсина-Мэдисона (1985 – настоящее время) ГраммаТех (1988 – настоящее время) Национальный институт исследований в области компьютерных наук и автоматизации (INRIA) в Рокенкуре, Франция (1982–83) Копенгагенский университет (1993–94) Национальный исследовательский совет в Пизе, Италия (2000–2001 гг.) Университет Парижа Дидро (2007–2008 гг.)
Диссертация	Создание языковой среды   (1982)
Докторантура	Тим Тейтельбаум

Томас В. Репс (родился 28 мая 1956 года, США) — американский ученый-компьютерщик, известный своим вкладом в автоматический анализ программ. Доктор Репс — профессор компьютерных наук на факультете компьютерных наук Университета Висконсин-Мэдисон , куда он поступил в 1985 году. Репс является автором или соавтором четырех книг и более ста семидесяти пяти статей, описывающих его исследования. . Его работа охватывала широкий спектр тем, включая нарезку программ , анализ потоков данных , анализ указателей , проверку моделей , компьютерную безопасность , инструментирование (компьютерное программирование) , языковые среды разработки программ , использование профилирования программ при тестировании программного обеспечения. , обновление программного обеспечения , инкрементальные алгоритмы и грамматики атрибутов .

Текущая работа Репса сосредоточена на статическом анализе урезанных (двоичных) исполняемых файлов и методах, которые, не полагаясь на таблицу символов или отладочную информацию , восстанавливают промежуточные представления , аналогичные тем, которые создаются на промежуточных этапах компилятора для программы, написанной на высоком языке. -язык уровня . Цель состоит в том, чтобы предоставить дизассемблера или декомпилятора , которую аналитик может использовать для понимания работы COTS- компонентов, плагинов , мобильного кода и DLL , а также снимков памяти червей платформу и зараженного вирусом кода.

Репс был президентом и соучредителем компании GrammaTech , Inc.

Награды и почести

Репс был лауреатом следующих наград:

• Премия ACM за докторскую диссертацию (1983)
• Национального научного фонда Президентская премия молодого исследователя (1986)
• Стипендия Паккарда (1988)
• Премия Гумбольдта за исследования (2000)
• Стипендия Гуггенхайма (2000)
• Хорвиц С., Репс Т. и Бинкли Д., «Межпроцедурное разделение с использованием графов зависимостей», выбранное в качестве одной из 50 наиболее влиятельных статей по версии ACM PLDI , 1979–99 (2002).
• Институт научной информации «Высоко цитируемый исследователь» (2003 г.).
• Премия Европейской ассоциации языков и систем программирования за лучшую работу на ETAPS (совместно с Г. Балакришнаном) (2004 г.)
• Сотрудник ACM (2005)
• Премия Европейской ассоциации языков и систем программирования за лучшую работу на ETAPS (совместно с Дж. Лимом) (2008 г.)
• Премия ACM SIGSOFT Retrospective Impact Paper (совместно с Т. Тейтельбаумом ) (2010)
• Премия ACM SIGSOFT Retrospective Impact Paper (совместно с С. Хорвицем, М. Сагивом и Дж. Розеем) (2011 г.)
• Иностранный член Европейской академии (2013 г.)
• Занял 8-е место (цитирование) и 4-е место (отраслевой рейтинг) в Microsoft Academic Search (2013 г.). списке наиболее цитируемых авторов в области языков программирования по версии и 23-е место (цитирование) и 13-е место (рейтинг) в списке наиболее цитируемых авторов в области программной инженерии (2013 г.)
• ACM SIGPLAN Премия за достижения в области языков программирования (2017)

Внешние ссылки

• Веб-сайт