Get my own profile
Public access
View all17 articles
1 article
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
- Oleksandr PolozovGoogle DeepMindVerified email at google.com
- Abdelrahman MohamedResearch scientist, Facebook AI ResearchVerified email at fb.com
- Dana FismanAssociate Professor of Computer Science, Ben-Gurion UniversityVerified email at cs.bgu.ac.il
- Benjamin ZornMicrosoft Research, RedmondVerified email at acm.org
- Patrice GodefroidLaceworkVerified email at lacework.net
- Loris D'AntoniUniversity of California-San DiegoVerified email at ucsd.edu
- Surya BhupatirajuDeepMindVerified email at google.com
- Marc BrockschmidtResearch Scientist, Google DeepMindVerified email at google.com
- Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
- Emina TorlakAmazon Web Services, University 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. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- Garvit JuniwalUC BerkeleyVerified email at eecs.berkeley.edu