Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
- Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
- Satish ChandraGoogleVerified email at acm.org
- Chris JermaineAssociate Professor of Computer Science, Rice UniversityVerified email at cs.rice.edu
- Jorge A NavasCertoraVerified email at certora.com
- Pushmeet KohliDeepMindVerified email at google.com
- Abhinav VermaThe Pennsylvania State UniversityVerified email at psu.edu
- Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
- Jürgen CitoTU WienVerified email at tuwien.ac.at
- Isil DilligUT AustinVerified email at cs.utexas.edu
- Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartVerified email at iste.uni-stuttgart.de
- Mateusz MachalicaSoftware Engineer, Meta Inc.Verified email at meta.com
- Erik MeijerMicrosoftVerified email at meijcrosoft.com
- Gareth Ari AyeColumbia UniversityVerified email at caa.columbia.edu
- Duc Hiep ChuSoftware Engineer, Google LLC.Verified email at google.com
- Emina TorlakAmazon Web Services, University of WashingtonVerified email at alum.mit.edu
- Nishant SinhaFounder, Chief Scientist, OffNote LabsVerified email at in.ibm.com
- Edward YaoFacebookVerified email at fb.com
- Umang MathurPresidential Young Professor at National University of SingaporeVerified email at comp.nus.edu.sg
- Stephen FinkIBMVerified email at us.ibm.com