Get my own profile
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 III, GrammaTechVerified email at grammatech.com
- Aditya ThakurDepartment of Computer Science, University of California, DavisVerified email at ucdavis.edu
- Dave BinkleyLoyola University MarylandVerified email at cs.loyola.edu
- Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
- Greta YorshLecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of LondonVerified email at qmul.ac.uk
- Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
- Tayssir TouiliSenior researcher, CNRSVerified email at lipn.fr
- William HarrisResearch Scientist, Galois Inc.Verified email at galois.com
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Ben LiblitUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
- Neil ImmermanCollege of Computer and Information Sciences, UMass, AmherstVerified email at cs.umass.edu
- Jan F. PrinsProfessor of Computer Science, UNC Chapel HillVerified email at cs.unc.edu
- Thomas BallMicrosoft ResearchVerified email at microsoft.com
- Noam RinetzkyAssistant Professor of Computer Science, Tel Aviv UniversityVerified email at cs.tau.ac.il
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsin
Verified email at cs.wisc.edu - Homepage