Thomas W. Reps

Thomas W. Reps (nacido el 28 de mayo de 1956 en Estados Unidos) es un científico informático estadounidense conocido por sus contribuciones al análisis automático de programas. Ostenta la cátedra J. Barkley Rosser y la cátedra Rajiv y Ritu Batra en el Departamento de Ciencias de la Computación de la Universidad de Wisconsin-Madison , a la que se unió en 1985 y de la que se jubiló en 2024. ^{[ 1 ]}

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 abarcado una amplia variedad de temas, incluyendo segmentació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) , entornos de desarrollo de programas basados ​​en lenguajes , el uso de perfiles de programas en pruebas de software , renovación de software , algoritmos incrementales y gramáticas de atributos . ^{[ 2 ]}

Durante muchos años, el trabajo de Reps se centró en el análisis estático de ejecutables binarios sin símbolos de depuración y en métodos que, sin depender de tablas de símbolos ni información de depuración , recuperan representaciones intermedias similares a las que crean las fases intermedias de un compilador para un programa escrito en un lenguaje de alto nivel . El objetivo es proporcionar una plataforma de desensamblaje o descompilación que un analista pueda usar para comprender el funcionamiento de componentes COTS , complementos , código móvil y DLL , así como instantáneas de memoria de gusanos y código infectado con virus .

Reps fue presidente y cofundador de GrammaTech , Inc.

Reps ha recibido los siguientes premios:

• Premio ACM a la mejor tesis doctoral (1983)
• Premio Presidencial para Jóvenes Investigadores de la Fundación Nacional de Ciencias (1986)
• Beca Packard (1988)
• Premio Humboldt de Investigación (2000)
• Beca Guggenheim (2000)
• Horwitz, S., Reps T. y Binkley, D., "Interprocedural slicing using dependence graphs" 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) ^{[ 3 ]}
• Premio al mejor artículo de la Asociación Europea de Lenguajes y Sistemas de Programación en ETAPS (junto con G. Balakrishnan) (2004)
• Miembro de la ACM (2005)
• Premio al mejor artículo de la Asociación Europea de Lenguajes y Sistemas de Programación en ETAPS (junto con J. Lim) (2008)
• Premio ACM SIGSOFT al artículo de impacto retrospectivo (con T. Teitelbaum ) (2010)
• Premio ACM SIGSOFT al artículo de impacto retrospectivo (con S. Horwitz, M. Sagiv y G. Rosay) (2011)
• Miembro extranjero de la Academia Europaea (2013) ^{[ 4 ]}
• Clasificado en el puesto 8 (citas) y 4 (clasificación del campo) en la lista de Microsoft Academic Search de los autores más citados en el campo de los lenguajes de programación (2013), ^{[ 5 ]} y en el puesto 23 (citas) y 13 (clasificación del campo) en su lista de los autores más citados en el campo de la ingeniería de software (2013) ^{[ 6 ].}
• Premio ACM SIGPLAN a la Excelencia en Lenguajes de Programación (2017)

• Sitio web