Томас У. Репс

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

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

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

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

Представитель компании Reps был удостоен следующих наград:

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

Ссылки

^ "Домашняя страница профессора Томаса У. Репса".
^ "Главная". highlycited.com .
^ «Академия Европы: Представители Томас В».
^ "Лучшие авторы в области языков программирования". academic.research.microsoft.com . Архивировано из оригинала 24 октября 2012 г.
^ "Лучшие авторы в области разработки программного обеспечения". Архивировано из оригинала 24 октября 2012 г. Получено 14 октября 2013 г.

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

Веб-сайт