Thomas Reps (Preferred)
, Thomas W. Reps
Thomas Reps
Department of Computer Science, University of Wisconsin, Madison
- Joined June 2019
Names
Emails
****@cs.wisc.edu (Confirmed)
Personal Links
Education & Career History
Full Professor
Department of Computer Science, University of Wisconsin, Madison (cs.wisc.edu)
1994 – 2021
President
GrammaTech, Inc. (grammatech.com)
1988 – 2019
Associate Professor
Department of Computer Science, University of Wisconsin, Madison (cs.wisc.edu)
1988 – 1994
Assistant Professor
Department of Computer Science, University of Wisconsin, Madison (cs.wisc.edu)
1985 – 1988
Postdoc
Department of Computer Science, Cornell University (cs.cornell.edu)
1982 – 1985
PhD student
Department of Computer Science, Cornell University (cs.cornell.edu)
1979 – 1982
Advisors, Relations & Conflicts
Coauthor
Jinwoo Kim
2021 – Present
Collaborator
Meghana Sistla
2018 – Present
Coauthor
Di Wang
2016 – Present
Social
Reinhard Wilhelm
2013 – Present
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
Program synthesis
2013 – 2021
Abstract interpretation
1996 – 2021
Program analysis
1986 – 2021
Program slicing
1986 – 2021
Incremental computing
1980 – 2021
Model checking concurrent programs
2005 – 2011
Program profiling
1996 – 1999
Program-development environments
1978 – 1990