Thomas Reps

Department of Computer Science, University of Wisconsin, Madison

Names

How do you usually write your name as author of a paper? Also add any other names you have authored papers under.

Thomas Reps (Preferred)
,
Thomas W. Reps

Emails

Enter email addresses associated with all of your current and historical institutional affiliations, as well as all your previous publications, and the Toronto Paper Matching System. This information is crucial for deduplicating users, and ensuring you see your reviewing assignments.

****@cs.wisc.edu

Education & Career History

Enter your education and career history. The institution domain is used for conflict of interest detection and institution ranking. For ongoing positions, leave the end field blank.

Full Professor
Department of Computer Science, University of Wisconsin, Madison (cs.wisc.edu)
19942021
 
President
GrammaTech, Inc. (grammatech.com)
19882019
 
Associate Professor
Department of Computer Science, University of Wisconsin, Madison (cs.wisc.edu)
19881994
 
Assistant Professor
Department of Computer Science, University of Wisconsin, Madison (cs.wisc.edu)
19851988
 
Postdoc
Department of Computer Science, Cornell University (cs.cornell.edu)
19821985
 
PhD student
Department of Computer Science, Cornell University (cs.cornell.edu)
19791982
 

Advisors, Relations & Conflicts

Enter all advisors, co-workers, and other people that should be included when detecting conflicts of interest.

Coauthor
Subhajit Roy
****@iitk.ac.in
20212021
 
Coauthor
Leopoldo Motta Teixeira
****@cin.ufpe.br
20212021
 
Coauthor
Marcelo d'Amorim
****@cin.ufpe.br
20212021
 
Coauthor
Goutham Ramakrishnan
****@wisc.edu
20202021
 
Coauthor
Aws Albarghouthi
****@cs.wisc.edu
20202021
 
Coauthor
Yuanbo Li
****@gatech.edu
20202021
 
Coauthor
Qirun Zhang
****@gatech.edu
20202021
 
Coauthor
Thomas Wahl
****@ccs.neu.edu
20202021
 
Coauthor
Peizun Liu
****@northeastern.edu
20202021
 
Coauthor
Mohannad Alhanahnah
****@wisc.edu
20202021
 
Coauthor
Loris D'Antoni
****@cs.wisc.edu
20192021
 
Coauthor
Di Wang
****@cs.cmu.edu
20182021
 
Collaborator
Meghana Sistla
****@gmail.com
20182021
 
Coauthor
Jan Hoffmann
****@cmu.edu
20172021
 
Coauthor
Zachary Kincaid
****@cs.princeton.edu
20172021
 
Joint Grant
Bobba, Rakesh
****@oregonstate.edu
20172021
 
Joint Grant
Mohan, Sibin
****@illinois.edu
20172021
 
Joint Grant
David Lie
****@utoronto.ca
20172021
 
Social
Reinhard Wilhelm
****@cs.uni-saarland.de
20132021
 
Coauthor
Somesh Jha
****@cs.wisc.edu
20022021
 
Coauthor
Mooly Sagiv
****@post.tau.ac.il
19942021
 
Coauthor
Christian Bird
****@microsoft.com
20202020
 
Coauthor
Vaibhav Rastogi
****@google.com
20202020
 
Collaborator
Erik Meijer
****@fb.com
20192020
 
Coauthor
Shuvendu Lahiri
****@microsoft.com
20182020
 
PhD Advisee
David Bingham Brown
****@cs.wisc.edu
20142020
 
PhD Advisee
Jason Breck
****@wisc.edu
20132020
 
Coauthor
Ben Liblit
****@gmail.com
20062020
 
PhD Advisee
Venkatesh Srinivasan
****@gmail.com
20122017
 
PhD Advisee
Tushar Sharma
****@cs.wisc.edu
20112017
 
Postdoc Advisee
Julien Henry
****@gmail.com
20142016
 
PhD Advisee
Aditya Thakur
****@ucdavis.edu
20082014
 
PhD Advisee
William Harris
****@galois.com
20072014
 
Postdoc Advisee
Junghee Lim
****@grammatech.com
20112013
 
PhD Advisee
Evan Driscoll
****@grammatech.com
20092013
 
Coauthor
Reinhard Wilhelm
****@cs.uni-saarland.de
19962013
 
PhD Advisee
Junghee Lim
****@grammatech.com
20052011
 
PhD Advisee
Nick Kidd
****@google.com
20042009
 
PhD Advisee
Akash Lal
****@microsoft.com
20032009
 
PhD Advisee
Denis Gopan
****@grammatech.com
20022007
 
PhD Advisee
Gogul Balakrishnan
****@google.com
20012007
 
PhD Advisee
Alexey Loginov
****@grammatech.com
19972006
 
Postdoc Advisee
David Melski
****@gmail.com
20022002
 
PhD Advisee
David Melski
****@gmail.com
19952002
 
PhD Advisee
Zhichen Xu
****@yahoo.com
19972000
 
PhD Advisee
Michael Siff
****@slc.edu
19941998
 
PhD Advisee
Manuvir Das
****@gmail.com
19921998
 
PhD Advisee
G. Ramalingam
****@microsoft.com
19871993
 
Postdoc Advisee
Wuu Yang
****@cs.nctu.edu.tw
19901991
 
PhD Advisee
David Binkley
****@cs.loyola.edu
19861991
 
PhD Advisee
Phil Pfeiffer
****@mail.etsu.edu
19851991
 
PhD Advisee
Wuu Yang
****@cs.nctu.edu.tw
19861990
 
Postdoc Advisee
Jan Prins
****@cs.unc.edu
19861987
 
Postdoc Advisor
Tim Teitelbaum
****@gmail.com
19821985
 
PhD Advisor
Tim Teitelbaum
****@gmail.com
19791982
 

Expertise

For each line, enter comma-separated keyphrases representing an intersection of your interests. Think of each line as a query for papers in which you would have expertise and interest. For example: deep learning, RNNs, dependency parsing

Program synthesis
20132021
 
Abstract interpretation
19962021
 
Program analysis
19862021
 
Program slicing
19862021
 
Incremental computing
19802021
 
Model checking concurrent programs
20052011
 
Program profiling
19961999
 
Program-development environments
19781990