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
Edward YaoFacebookVerified email at fb.com
Umang MathurPresidential Young Professor at National University of SingaporeVerified email at comp.nus.edu.sg
Emina TorlakAmazon Web Services, University of WashingtonVerified email at alum.mit.edu
Nishant SinhaFounder, Chief Scientist, OffNote LabsVerified email at in.ibm.com
Stephen FinkIBMVerified email at us.ibm.com