Thomas Reps (Preferred)
Thomas W. Reps
Thomas Reps
Emeritus, Computer Sciences Department, University of Wisconsin - Madison
Joined
June 2019
Names
,
Emails
****@cs.wisc.edu (Confirmed)
Personal Links
Career & Education History
Emeritus
Computer Sciences Department, University of Wisconsin - Madison (cs.wisc.edu)
2024 – Present
Full Professor
Computer Sciences Department, University of Wisconsin-Madison (cs.wisc.edu)
1994 – 2024
President
GrammaTech, Inc. (grammatech.com)
1988 – 2019
Guest Professor
LIAFA, Université Paris Diderot (univ-paris-diderot.fr)
2007 – 2008
Visiting Researcher
CNR (isti.cnr.it)
2000 – 2001
Guest Professor
Datalogisk Institut, University of Copenhagen (diku.dk)
1993 – 1994
Associate Professor
Computer Sciences Department, University of Wisconsin-Madison (cs.wisc.edu)
1988 – 1994
Assistant Professor
Computer Sciences Department, University of Wisconsin-Madison (cs.wisc.edu)
1985 – 1988
Postdoc
Department of Computer Science, Cornell University (cs.cornell.edu)
1982 – 1985
Visiting Researcher
Batiment 8, INRIA (inria.fr)
1982 – 1983
PhD student
Department of Computer Science, Cornell University (cs.cornell.edu)
1979 – 1982
Advisors, Relations & Conflicts
Collaborator
Meghana Sistla
2018 – Present
Social
Reinhard Wilhelm
2013 – Present
Coworker
Tim Teitelbaum
1978 – Present
Collaborator
Tim Coopmans
2023 – 2025
Postdoc Advisee
Charlie Murphy
2022 – 2025
Coauthor
Jinwoo Kim
2021 – 2025
Collaborator
Kirshanthan Sundararajah
2021 – 2024
PhD Advisee
Michael Vaughn
2017 – 2024
PhD Advisee
John Cyphert
2016 – 2023
Coauthor
Yuanbo Li
2020 – 2022
Coauthor
Vaibhav Rastogi
2020 – 2022
PhD Advisee
Jordan Henkel
2016 – 2022
Coauthor
Leopoldo Motta Teixeira
2021 – 2021
Coauthor
Marcelo d'Amorim
2021 – 2021
Coauthor
Goutham Ramakrishnan
2020 – 2021
Coauthor
Peizun Liu
2020 – 2021
Coauthor
Mooly Sagiv
1994 – 2021
PhD Advisee
David Bingham Brown
2014 – 2020
PhD Advisee
Jason Breck
2013 – 2020
Coauthor
Ben Liblit
2006 – 2020
PhD Advisee
Venkatesh Srinivasan
2012 – 2017
PhD Advisee
Tushar Sharma
2011 – 2017
Postdoc Advisee
Julien Henry
2014 – 2016
PhD Advisee
William Harris
2007 – 2014
Postdoc Advisee
Junghee Lim
2011 – 2013
PhD Advisee
Evan Driscoll
2009 – 2013
Coauthor
Reinhard Wilhelm
1996 – 2013
PhD Advisee
Junghee Lim
2005 – 2011
PhD Advisee
Nick Kidd
2004 – 2009
PhD Advisee
Denis Gopan
2002 – 2007
PhD Advisee
Alexey Loginov
1997 – 2006
Postdoc Advisee
David Melski
2002 – 2002
PhD Advisee
David Melski
1995 – 2002
PhD Advisee
Zhichen Xu
1997 – 2000
PhD Advisee
Michael Siff
1994 – 1998
PhD Advisee
Manuvir Das
1992 – 1998
PhD Advisee
G. Ramalingam
1987 – 1993
Postdoc Advisee
Wuu Yang
1990 – 1991
PhD Advisee
Phil Pfeiffer
1985 – 1991
PhD Advisee
Wuu Yang
1986 – 1990
Postdoc Advisor
Tim Teitelbaum
1982 – 1985
PhD Advisor
Tim Teitelbaum
1979 – 1982
Expertise
Quantum-circuit simulation
2018 – Present
Decision diagrams
1999 – Present
Abstract interpretation
1996 – Present
Program analysis
1986 – Present
Program slicing
1986 – Present
Incremental computing
1980 – Present
Program synthesis
2013 – 2024
Attribute grammars
1980 – 2021
Machine-code analysis
1999 – 2020
Model checking concurrent programs
2005 – 2011
Program profiling
1996 – 1999
Publications
Co-Authors
- Abhinav Jain
- Aditya V. Thakur
- Akash Lal
- Alan J. Demers
- Alan Mycroft
- Aleksandar Krivokapic
- Alexander Moshe Rabinovich
- Alexey Loginov
- Alexey Skidanov
- Amanda Burton
- Anastasios Kyrillidis
- Andrew Reynolds
- Andy King
- Antoine Miné
- Anupam Datta
- Anvay Grover
- Ara Vartanian
- Ashkan Forouhi Boroujeni
- Aws Albarghouthi
- Axel Simon
- Barton P. Miller
- Ben Liblit
- Bertrand Jeannet
- Bill McCloskey
- Bowen Alpern