Get my own profile
Public access
View all14 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Antonio CriminisiPartner Research Lead at Microsoft CorporationVerified email at microsoft.com
Andrew D GordonCogna and University of EdinburghVerified email at cogna.co
Ravi MangalAssistant Professor, Colorado State UniversityVerified email at colostate.edu
Yani IoannouAssistant Professor, Schulich Research Chair, University of CalgaryVerified email at ucalgary.ca
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Johannes BorgströmAssociate professor in computing science, Uppsala UniversityVerified email at it.uu.se
Xin ZhangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
Dimitrios VytiniotisDeepMindVerified email at google.com
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Ben LiblitAmazon Web ServicesVerified email at amazon.com
bharath hariharanCornell UniversityVerified email at cs.cornell.edu
Saurabh GuptaUniversity of Illinois Urbana-ChampaignVerified email at illinois.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