Get my own profile
Co-authors
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
James R LarusProfessor and Dean, EPFLVerified email at larusstone.org
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Ankush DesaiSenior Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Venkatesh-Prasad RanganathGoogleVerified email at ksu.edu
Aditya ThakurDepartment of Computer Science, University of California, DavisVerified email at ucdavis.edu
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com