请输入您要查询的百科知识:

 

词条 Thomas W. Reps
释义

  1. Awards and honors

  2. References

  3. External links

{{BLP sources|date=October 2018}}{{Infobox scientist
| name = Thomas W. Reps
| image =
| image_size =
| alt =
| caption =
| birth_date = {{Birth date and age|1956|05|28}}
| birth_place =
| death_date =
| death_place =
| resting_place =
| resting_place_coordinates =
| residence =
| citizenship =
| nationality =
| fields =
| workplaces = 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_title = Generating Language-Based Environments
| thesis_url = http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?reload=true&bkn=6267325
| thesis_year = 1982
| doctoral_advisor = Tim Teitelbaum
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for =
| author_abbrev_bot =
| author_abbrev_zoo =
| influences =
| influenced =
| awards =
| signature =
| signature_alt =
| website =
| footnotes =
| spouse =

}}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.[1]

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.

Awards and honors

Reps has been the recipient of the following awards:

  • ACM Doctoral Dissertation Award (1983)
  • National Science Foundation Presidential Young Investigator Award (1986)
  • Packard Fellowship (1988)
  • Humboldt Research Award (2000)
  • Guggenheim Fellowship (2000)
  • Horwitz, S., Reps T., and Binkley, D., "Interprocedural slicing using dependence graphs" selected as one of the 50 most influential papers from ACM PLDI, 1979-99 (2002)
  • Institute for Scientific Information “Highly Cited Researcher"(2003)[2]
  • European Association for Programming Languages and Systems Best-Paper Award at ETAPS (with G. Balakrishnan) (2004)
  • ACM Fellow (2005)
  • European Association for Programming Languages and Systems Best-Paper Award at ETAPS (with J. Lim) (2008)
  • ACM SIGSOFT Retrospective Impact Paper Award (with T. Teitelbaum) (2010)
  • ACM SIGSOFT Retrospective Impact Paper Award (with S. Horwitz, M. Sagiv, and G. Rosay) (2011)
  • Foreign member of Academia Europaea (2013)[3]
  • Ranked 8th (citations) and 4th (field rating) on Microsoft Academic Search's list of most-highly cited authors in the field of Programming Languages (2013),[4] and 23rd (citations) and 13th (field rating) on its list of most-highly cited authors in the field of Software Engineering (2013)[5]
  • ACM SIGPLAN Programming Languages Achievement Award (2017)

References

1. ^http://www.cs.wisc.edu/~reps/
2. ^http://highlycited.com
3. ^http://www.ae-info.org/ae/User/Reps_Thomas_W./
4. ^http://academic.research.microsoft.com/RankList?entitytype=2&topDomainID=2&subDomainID=24
5. ^{{cite web |url=http://academic.research.microsoft.com/RankList?entitytype=2&topDomainID=2&subDomainID=4 |title=Archived copy |accessdate=2013-10-14 |deadurl=yes |archiveurl=https://web.archive.org/web/20121024205512/http://academic.research.microsoft.com/RankList?entitytype=2&topDomainID=2&subDomainID=4 |archivedate=24 October 2012 |df=dmy-all }}

External links

  • Website
{{Use dmy dates|date=August 2011}}{{Authority control}}{{DEFAULTSORT:Reps, Thomas W.}}

12 : 1956 births|Living people|Harvard University alumni|Cornell University alumni|American computer scientists|Programming language researchers|Academic journal editors|Computer science writers|American textbook writers|American male non-fiction writers|Fellows of the Association for Computing Machinery|University of Wisconsin–Madison faculty

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/16 2:00:39