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