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 QadeerSoftware Engineer, MetaVerified email at meta.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