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
- Thomas HenzingerIST AustriaVerified email at ist.ac.at
- Yani IoannouAssistant Professor, Schulich Research Chair, University of CalgaryVerified email at ucalgary.ca
- 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