Get my own profile
Public access
View all40 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 V. 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
- Loris D'AntoniUniversity of California-San DiegoVerified email at ucsd.edu
- Zachary KincaidPrinceton UniversityVerified email at cs.princeton.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Thomas BallMicrosoft ResearchVerified email at microsoft.com
- Tayssir TouiliSenior researcher, CNRSVerified email at lipn.fr
- Jordan HenkelAI/ML Researcher, Sema4Verified email at cs.wisc.edu
Follow
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Verified email at cs.wisc.edu - Homepage