Thomas Reps

Full Professor, Computer Sciences Department, University of Wisconsin-Madison

  • Joined June 2019

Names

Thomas Reps (Preferred)
,
Thomas W. Reps

Emails

****@cs.wisc.edu (Confirmed)

Education & Career History

Full Professor
Computer Sciences Department, University of Wisconsin-Madison (cs.wisc.edu)
19942024
 
President
GrammaTech, Inc. (grammatech.com)
19882019
 
Guest Professor
LIAFA, Université Paris Diderot (univ-paris-diderot.fr)
20072008
 
Visiting Researcher
CNR (isti.cnr.it)
20002001
 
Guest Professor
Datalogisk Institut, University of Copenhagen (diku.dk)
19931994
 
Associate Professor
Computer Sciences Department, University of Wisconsin-Madison (cs.wisc.edu)
19881994
 
Assistant Professor
Computer Sciences Department, University of Wisconsin-Madison (cs.wisc.edu)
19851988
 
Postdoc
Department of Computer Science, Cornell University (cs.cornell.edu)
19821985
 
Visiting Researcher
Batiment 8, INRIA (inria.fr)
19821983
 
PhD student
Department of Computer Science, Cornell University (cs.cornell.edu)
19791982
 

Advisors, Relations & Conflicts

Coauthor
2021Present
 
Coauthor
Jinwoo Kim
2021Present
 
Coauthor
2021Present
 
Collaborator
2021Present
 
Coauthor
2020Present
 
Coauthor
2019Present
 
Collaborator
Meghana Sistla
2018Present
 
Coauthor
2017Present
 
Coauthor
2017Present
 
Coauthor
2016Present
 
Coworker
2015Present
 
Social
Reinhard Wilhelm
2013Present
 
Collaborator
Alfons Laarman
20232024
 
Collaborator
Tim Coopmans
20232024
 
Collaborator
20232024
 
Collaborator
Kirshanthan Sundararajah
20212024
 
PhD Advisee
Michael Vaughn
20172024
 
Coauthor
20172024
 
Coauthor
20202023
 
PhD Advisee
John Cyphert
20162023
 
Coauthor
Yuanbo Li
20202022
 
Coauthor
Vaibhav Rastogi
20202022
 
PhD Advisee
Jordan Henkel
20162022
 
Coauthor
Leopoldo Motta Teixeira
20212021
 
Coauthor
Marcelo d'Amorim
20212021
 
Coauthor
Goutham Ramakrishnan
20202021
 
Coauthor
20202021
 
Coauthor
Peizun Liu
20202021
 
Joint Grant
20172021
 
Joint Grant
20172021
 
Joint Grant
20172021
 
Coauthor
20022021
 
Coauthor
Mooly Sagiv
19942021
 
Collaborator
20192020
 
Coauthor
20182020
 
PhD Advisee
David Bingham Brown
20142020
 
PhD Advisee
Jason Breck
20132020
 
Coauthor
Ben Liblit
20062020
 
PhD Advisee
Venkatesh Srinivasan
20122017
 
PhD Advisee
Tushar Sharma
20112017
 
Postdoc Advisee
Julien Henry
20142016
 
PhD Advisee
20082014
 
PhD Advisee
William Harris
20072014
 
Postdoc Advisee
Junghee Lim
20112013
 
PhD Advisee
Evan Driscoll
20092013
 
Coauthor
Reinhard Wilhelm
19962013
 
PhD Advisee
Junghee Lim
20052011
 
PhD Advisee
Nick Kidd
20042009
 
PhD Advisee
20032009
 
PhD Advisee
Denis Gopan
20022007
 
PhD Advisee
20012007
 
PhD Advisee
Alexey Loginov
19972006
 
Postdoc Advisee
David Melski
20022002
 
PhD Advisee
David Melski
19952002
 
PhD Advisee
Zhichen Xu
19972000
 
PhD Advisee
Michael Siff
19941998
 
PhD Advisee
Manuvir Das
19921998
 
PhD Advisee
G. Ramalingam
19871993
 
Postdoc Advisee
Wuu Yang
19901991
 
PhD Advisee
19861991
 
PhD Advisee
Phil Pfeiffer
19851991
 
PhD Advisee
Wuu Yang
19861990
 
Postdoc Advisee
19861987
 
Postdoc Advisor
Tim Teitelbaum
19821985
 
PhD Advisor
Tim Teitelbaum
19791982
 

Expertise

Quantum-circuit simulation
20182024
 
Program synthesis
20132024
 
Abstract interpretation
19962024
 
Program analysis
19862024
 
Program slicing
19862021
 
Incremental computing
19802021
 
Attribute grammars
19802021
 
Machine-code analysis
19992020
 
Model checking concurrent programs
20052011
 
Program profiling
19961999