Get my own profile
Public access
View all14 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Armando Solar-LezamaMITVerified email at csail.mit.edu
Pushmeet KohliDeepMindVerified email at google.com
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Oleksandr PolozovGoogle XVerified email at google.com
Abdelrahman MohamedResearch scientist, Facebook AI ResearchVerified email at fb.com
Benjamin ZornMicrosoft Research, RedmondVerified email at acm.org
Dana FismanAssociate Professor of Computer Science, Ben-Gurion UniversityVerified email at cs.bgu.ac.il
Marc BrockschmidtResearcher, Microsoft ResearchVerified email at microsoft.com
Loris D'AntoniUniversity of Wisconsin, MadisonVerified email at cs.wisc.edu
Surya BhupatirajuDeepMindVerified email at google.com
Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
Emina TorlakUniversity of WashingtonVerified email at alum.mit.edu
Abhishek UdupaMicrosoft ResearchVerified email at microsoft.com
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Garvit JuniwalUC BerkeleyVerified email at eecs.berkeley.edu
Patrice GodefroidMicrosoft Research