Get my own profile
Public access
View all39 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Mooly SagivTel Aviv UniversityVerified email at acm.org
Susan HorwitzProfessor Emerita of Computer Science, University of Wisconsin (deceased)Verified email at cs.wisc.edu
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Gogul BalakrishnanGoogle IncVerified email at google.com
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
Junghee LimSoftware Engineer, GrammaTechVerified email at grammatech.com
Aditya ThakurDepartment of Computer Science, University of California, DavisVerified email at ucdavis.edu
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
Dave BinkleyLoyola University MarylandVerified email at cs.loyola.edu
Greta YorshLecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of LondonVerified email at qmul.ac.uk
Ben LiblitAmazon Web ServicesVerified email at amazon.com
John CyphertUniversity of Wisconsin-MadisonVerified email at wisc.edu
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Zachary KincaidPrinceton UniversityVerified email at cs.princeton.edu
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Tayssir TouiliSenior researcher, CNRSVerified email at lipn.fr
Jordan HenkelSenior Scientist, MicrosoftVerified email at cs.wisc.edu
Jan F. PrinsProfessor of Computer Science, UNC Chapel HillVerified email at cs.unc.edu
Follow![Thomas Reps](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=pwhyTq0AAAAJ&citpid=2)
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Verified email at cs.wisc.edu - Homepage