Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Antonio CriminisiResearch Manager at AmazonVerified email at microsoft.com
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Ravi MangalCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Patrice GodefroidMicrosoft ResearchVerified email at microsoft.com
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Johannes BorgströmDocent in computing science, Uppsala UniversityVerified email at it.uu.se
Xin ZhangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
Ben LiblitAmazon Web ServicesVerified email at amazon.com
Aditya ThakurDepartment of Computer Science, University of California, DavisVerified email at ucdavis.edu
Dimitrios VytiniotisDeepMindVerified email at google.com
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Yani A. IoannouGoogle - Visiting ResearcherVerified email at google.com
Robert J. SimmonsCarnegie Mellon UniversityVerified email at cs.cmu.edu
bharath hariharanCornell UniversityVerified email at cs.cornell.edu