Get my own profile
Public access
View all15 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
- Oleksandr PolozovGoogleVerified 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 BrockschmidtResearch Scientist, Google DeepMindVerified email at google.com
- Loris D'AntoniUniversity of Wisconsin, MadisonVerified email at cs.wisc.edu
- Patrice GodefroidLaceworkVerified email at lacework.net
- Surya BhupatirajuDeepMindVerified 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