Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Shaz QadeerMicrosoftVerified email at microsoft.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Andrew D GordonCogna and University of EdinburghVerified email at cogna.co
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
James R LarusProfessor Emeritus, EPFLVerified email at larusstone.org
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com
Ankush DesaiPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Venkatesh-Prasad RanganathIndependentVerified email at ksu.edu
Robert J. SimmonsCarnegie Mellon University (formerly)Verified email at cs.cmu.edu
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
Anindya BanerjeeProfessor, IMDEA Software InstituteVerified email at imdea.org