WikiDer > Томас В. Репс - Википедия
Этот биография живого человека требует дополнительных цитаты за проверка. (Октябрь 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Томас Уильям Репс | |
---|---|
Родившийся | 28 мая 1956 года |
Альма-матер | Гарвардский университет, B.A., с отличием, 1977 Корнелл Университет, Магистр наук, 1982, кандидат медицинских наук, 1985 |
Научная карьера | |
Учреждения | Университет Висконсина-Мэдисона (1985 – настоящее время) GrammaTech (1988 – настоящее время) Institut National de Recherche en Informatique et en Automatique (INRIA) в Роккенкур, Франция (1982-83) Копенгагенский университет (1993-94) Consiglio Nazionale delle Ricerche в Пизе, Италия (2000–2001) Университет Парижа Дидро (2007–2008) |
Тезис | Создание языковых сред (1982) |
Докторант | Тим Тейтельбаум |
Томас В. Репс (родился 28 мая 1956 года, США) - американец специалист в области информатики известен своим вкладом в автоматический анализ программ. Доктор Репс - профессор компьютерных наук факультета компьютерных наук Университет Висконсина-Мэдисона, к которой он присоединился в 1985 году. Репс является автором или соавтором четырех книг и более ста семидесяти пяти статей, описывающих его исследования. Его работа охватывает широкий спектр тем, в том числе программа нарезки, анализ потока данных, анализ указателя, проверка модели, компьютерная безопасность, приборостроение (компьютерное программирование), языковые среды разработки программ, использование профилирования программ при тестировании ПО, обновление программного обеспечения, инкрементальные алгоритмы, и грамматики атрибутов.[1]
Текущая работа представителей направлена на статический анализ раздетых (двоичный) исполняемые файлы, и методы, которые - не полагаясь на таблица символов или же отладочная информация-восстанавливаться промежуточные представления которые аналогичны промежуточным фазам компилятор создает для программы, написанной на язык высокого уровня. Цель - предоставить дизассемблер или же декомпилятор платформа, которая аналитик можно использовать, чтобы понять работу COTS составные части, плагины, мобильный код, и DLL, а также снимки памяти из черви и зараженный вирусом код.
Представитель - президент и соучредитель GrammaTech, Inc.
Награды и отличия
Представители были удостоены следующих наград:
- ACM Премия за докторскую диссертацию (1983)
- Национальный фонд науки Президентская премия молодому исследователю (1986)
- Packard Fellowship (1988)
- Премия Гумбольдта за исследования (2000)
- Guggenheim Fellowship (2000)
- Хорвиц, С., Репс Т., и Бинкли, Д., «Межпроцедурное срезы с использованием графиков зависимости», выбранные в качестве одной из 50 наиболее влиятельных статей из ACM PLDI, 1979-99 (2002)
- Институт научной информации "Цитируемый исследователь" (2003)[2]
- Европейская ассоциация языков и систем программирования Премия за лучшую работу ETAPS (совместно с Г. Балакришнаном) (2004 г.)
- ACM Товарищ (2005)
- Европейская ассоциация языков и систем программирования Премия за лучшую работу на ETAPS (вместе с Дж. Лимом) (2008)
- ACM SIGSOFT Премия Retrospective Impact Paper (с Т. Тейтельбаум) (2010)
- ACM SIGSOFT Премия Retrospective Impact Paper (совместно с С. Хорвицем, М. Сагивом и Г. Розей) (2011 г.)
- Иностранный член Academia Europaea (2013)[3]
- 8-е (цитирование) и 4-е (полевой рейтинг) Microsoft Academic Searchсписок наиболее цитируемых авторов в области языков программирования (2013 г.),[4] и 23-е (цитирование) и 13-е (полевой рейтинг) в списке наиболее цитируемых авторов в области программной инженерии (2013).[5]
- ACM СИГПЛАН Премия за достижения в области языков программирования (2017)
Рекомендации
- ^ http://www.cs.wisc.edu/~reps/
- ^ http://highlycited.com
- ^ http://www.ae-info.org/ae/User/Reps_Thomas_W./
- ^ http://academic.research.microsoft.com/RankList?entitytype=2&topDomainID=2&subDomainID=24
- ^ «Архивная копия». Архивировано из оригинал 24 октября 2012 г.. Получено 14 октября 2013.CS1 maint: заархивированная копия как заголовок (связь)