Crea il mio profilo
Accesso pubblico
Visualizza tutto4 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
Thomas BallMicrosoft ResearchEmail verificata su microsoft.com
Aditya NoriMicrosoft ResearchEmail verificata su microsoft.com
Shaz QadeerMicrosoftEmail verificata su microsoft.com
Thomas HenzingerIST AustriaEmail verificata su ist.ac.at
Todd MillsteinProfessor of Computer Science, UCLAEmail verificata su cs.ucla.edu
Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
Ganesan RamalingamMicrosoft Research IndiaEmail verificata su microsoft.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityEmail verificata su informatik.uni-freiburg.de
Andrew D GordonCogna and University of EdinburghEmail verificata su cogna.co
Byron CookProfessor of Computer Science, UCL, AmazonEmail verificata su cs.ucl.ac.uk
James R LarusProfessor Emeritus, EPFLEmail verificata su larusstone.org
Sumit GulwaniDistinguished Scientist, MicrosoftEmail verificata su microsoft.com
Chung-Kil HurSeoul National UniversityEmail verificata su sf.snu.ac.kr
Ankush DesaiPrincipal Applied Scientist, Amazon Web ServicesEmail verificata su amazon.com
Cédric FournetMicrosoft ResearchEmail verificata su microsoft.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchEmail verificata su fahndrich.com
Venkatesh-Prasad RanganathIndependentEmail verificata su ksu.edu
Robert J. SimmonsCarnegie Mellon University (formerly)Email verificata su cs.cmu.edu
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceEmail verificata su imperial.ac.uk
Anindya BanerjeeProfessor, IMDEA Software InstituteEmail verificata su imdea.org