Get my own profile
Co-authors
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
James R LarusProfessor and Dean, EPFLVerified email at larusstone.org
Nachiappan NagappanMicrosoft ResearchVerified email at microsoft.com
Shuvendu LahiriPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com
Fred DouglisPerspecta LabsVerified email at Perspectalabs.com
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Mooly SagivTel Aviv UniversityVerified email at acm.org
Michael BenediktProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Andreas ZellerFaculty, CISPA Helmholtz Center for Information Security; Professor, Saarland UniversityVerified email at cispa.saarland
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Yih-Farn Robin ChenAT&T Labs - ResearchVerified email at research.att.com
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Judith BishopComputer Science Division, Stellenbosch UniversityVerified email at sun.ac.za
Iulian NeamtiuProfessor of Computer Science, New Jersey Institute of TechnologyVerified email at njit.edu
