Thomas W. Reps (nacido el 28 de mayo de 1956, Estados Unidos) es un informático estadounidense conocido por sus contribuciones al análisis automático de programas. El Dr. Reps es profesor de Ciencias de la Computación en el Departamento de Ciencias de la Computación de la Universidad de Wisconsin – Madison , al que se incorporó en 1985. Reps es autor o coautor de cuatro libros y más de ciento setenta y cinco artículos que describen su investigación. . Su trabajo ha cubierto una amplia variedad de temas, que incluyen división de programas , análisis de flujo de datos , análisis de punteros , verificación de modelos , seguridad informática , instrumentación (programación informática) ,basado en el lenguaje ambientes programa de desarrollo , el uso de perfiles programa de pruebas de software , actualización de software , algoritmos incrementales , y las gramáticas de atributos . [1]
Thomas William Representantes | |
---|---|
Nació | 28 de mayo de 1956 |
alma mater | Harvard University , BA, cum laude , 1977 Cornell University , MS, 1982, PhD, 1985 |
Carrera científica | |
Instituciones | Universidad de Wisconsin-Madison (1985-presente) GrammaTech (1988-presente) Institut National de Recherche en Informatique et en Automatique (INRIA) en Rocquencourt, Francia (1982-83) Universidad de Copenhague (1993-94) Consiglio Nazionale delle Ricerche en Pisa, Italia (2000-2001) Universidad Paris Diderot (2007-2008) |
Tesis | Generación de entornos basados en el lenguaje (1982) |
Asesor de doctorado | Tim Teitelbaum |
El trabajo actual de Reps se centra en el análisis estático de ejecutables despojados (binarios) y métodos que, sin depender de la tabla de símbolos o la información de depuración, recuperan representaciones intermedias que son similares a las que crea las fases intermedias de un compilador para un programa escrito en alta resolución. -lenguaje de nivel . El objetivo es proporcionar una plataforma de desensamblador o descompilador que un analista pueda usar para comprender el funcionamiento de los componentes, complementos , código móvil y DLL de COTS , así como instantáneas de memoria de gusanos y código infectado con virus .
Reps es presidente y cofundador de GrammaTech , Inc.
Premios y honores
Reps ha recibido los siguientes premios:
- Premio ACM Tesis Doctoral (1983)
- Premio al joven investigador presidencial de la Fundación Nacional de Ciencias (1986)
- Beca Packard (1988)
- Premio de Investigación Humboldt (2000)
- Beca Guggenheim (2000)
- Horwitz, S., Reps T., y Binkley, D., "Interprocedural slicing usando gráficos de dependencia" seleccionado como uno de los 50 artículos más influyentes de ACM PLDI , 1979-99 (2002)
- Instituto de Información Científica "Investigador altamente citado" (2003) [2]
- Premio al Mejor Trabajo de la Asociación Europea de Lenguajes y Sistemas de Programación en ETAPS (con G. Balakrishnan) (2004)
- ACM Fellow (2005)
- Premio al Mejor Trabajo de la Asociación Europea de Lenguajes y Sistemas de Programación en ETAPS (con J. Lim) (2008)
- Premio ACM SIGSOFT Retrospective Impact Paper (con T.Teitelbaum ) (2010)
- Premio ACM SIGSOFT Retrospective Impact Paper (con S. Horwitz, M. Sagiv y G. Rosay) (2011)
- Miembro extranjero de la Academia Europaea (2013) [3]
- Clasificado 8º (citas) y 4º (clasificación de campo) en la lista de los autores más citados de Microsoft Academic Search en el campo de lenguajes de programación (2013), [4] y 23º (citas) y 13º (clasificación de campo) en su lista de los autores más citados en el campo de la ingeniería de software (2013) [5]
- Premio al logro de lenguajes de programación ACM SIGPLAN (2017)
Referencias
- ^ 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
- ^ "Copia archivada" . Archivado desde el original el 24 de octubre de 2012 . Consultado el 14 de octubre de 2013 .CS1 maint: copia archivada como título ( enlace )
enlaces externos
- Sitio web