Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
Yisong YueCalifornia Institute of Technology; Asari AI; Latitude AIVerified email at caltech.edu
Pushmeet KohliDeepMindVerified email at google.com
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Vijayaraghavan MuraliFacebookVerified email at fb.com
Hoang M. LeLatitude AI; Argo AI; Microsoft Research; CaltechVerified email at lat.ai
Gábor OroszMechanical Engineering, University of Michigan, Ann ArborVerified email at umich.edu
Richard ChengCalifornia Institute of TechnologyVerified email at caltech.edu
Greg AndersonUniversity of Texas at AustinVerified email at cs.utexas.edu
Isil DilligUT AustinVerified email at cs.utexas.edu
Joshua MichalenkoSandia National LaboratoriesVerified email at sandia.gov
Jennifer J. SunAssistant professor at Cornell CSVerified email at cornell.edu
Eric ZhanCaltech PhDVerified email at caltech.edu
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Mathias LechnerMassachusetts Institute of TechnologyVerified email at mit.edu
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Djordje ZikelicSingapore Management UniversityVerified email at smu.edu.sg
Cameron VoloshinCaltechVerified email at caltech.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Chenxi YangUniversity of Texas at AustinVerified email at cs.utexas.edu