Thomas W. Reps

Thomas W. Reps
Born (1956-05-28) May 28, 1956
Institutions University of Wisconsin–Madison (1985-present)
GrammaTech (1988-present)
Institut National de Recherche en Informatique et en Automatique (INRIA) in Rocquencourt, France (1982-83)
University of Copenhagen (1993-94)
Consiglio Nazionale delle Ricerche in Pisa, Italy (2000-2001)
University Paris Diderot (2007-2008)
Alma mater Harvard University, B.A., cum laude, 1977
Cornell University, M.S., 1982, Ph.D., 1985
Thesis Generating Language-Based Environments (1982)
Doctoral advisor Tim Teitelbaum
Doctoral students Wuu Yang[1]
Phillip Pfeiffer[2]
David Binkley[3]
G. Ramalingan[4]
Manuvir Das[5]
Michael Sif[6]
Zichen Xu[7]
David Melski[8]
Alexey Loginov[9]
Denis Gopan[10]
Gogul Balakrishnan[11]
Akash Lal[12]
Nicholas Kidd[13]
Junghee Lim[14]
Evan Driscoll[15]
Aditya Thakur[16]

Thomas W. Reps (born 28 May 1956, United States) is an American computer scientist known for his contributions to automatic program analysis. Dr. Reps is Professor of Computer Science in the Computer Sciences Department of the University of Wisconsin–Madison, which he joined in 1985. Reps is the author or co-author of four books and more than one hundred seventy-five papers describing his research. His work has covered a wide variety of topics, including program slicing, data-flow analysis, pointer analysis, model checking, computer security, instrumentation (computer programming), language-based program-development environments, the use of program profiling in software testing, software renovation, incremental algorithms, and attribute grammars.[17]

Reps’s current work focuses on static analysis of stripped (binary) executables, and methods that—without relying on symbol-table or debugging information—recover intermediate representations that are similar to those the intermediate phases of a compiler creates for a program written in a high-level language. The goal is to provide a disassembler or decompiler platform that an analyst can use to understand the workings of COTS components, plugins, mobile code, and DLLs, as well as memory snapshots of worms and virus-infected code.

Reps is President and Co-founder of GrammaTech, Inc.

Academic Recognition

Reps has been the recipient of the following awards:

References

  1. ↑ Yang, Wuu (1990). A new algorithm for semantics-based program integration (Yang thesis).
  2. ↑ http://www.cs.wisc.edu/wpis/papers/tr1037.pdf
  3. ↑ http://www.cs.wisc.edu/wpis/papers/tr1038.ps
  4. ↑ https://books.google.com/books/about/Bounded_incremental_computation.html?id=LYlQAAAAMAAJ
  5. ↑ http://www.cs.wisc.edu/wpis/papers/tr1362.ps
  6. ↑ http://www.cs.wisc.edu/wpis/papers/tr1384.ps
  7. ↑ http://www.cs.wisc.edu/wpis/papers/xu_thesis.pdf
  8. ↑ http://www.cs.wisc.edu/wpis/papers/tr1435.pdf
  9. ↑ http://www.cs.wisc.edu/wpis/papers/loginov_thesis.pdf
  10. ↑ http://www.cs.wisc.edu/wpis/papers/gopan_thesis.pdf
  11. ↑ http://www.cs.wisc.edu/wpis/papers/balakrishnan_thesis.pdf
  12. ↑ http://www.cs.wisc.edu/wpis/papers/tr1662.pdf
  13. ↑ http://www.cs.wisc.edu/wpis/papers/kidd.dissertation.pdf
  14. ↑ http://www.cs.wisc.edu/wpis/papers/lim_thesis.pdf
  15. ↑ http://www.cs.wisc.edu/wpis/papers/driscoll-thesis.pdf
  16. ↑ http://www.cs.wisc.edu/wpis/papers/thakur_dissertation.pdf
  17. ↑ http://www.cs.wisc.edu/~reps/
  18. ↑ http://highlycited.com
  19. ↑ http://www.ae-info.org/ae/User/Reps_Thomas_W./
  20. ↑ http://academic.research.microsoft.com/RankList?entitytype=2&topDomainID=2&subDomainID=24
  21. ↑ http://academic.research.microsoft.com/RankList?entitytype=2&topDomainID=2&subDomainID=4
This article is issued from Wikipedia - version of the 7/15/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.