Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinVerified 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. SunIncoming assistant professor to Cornell CSVerified email at caltech.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
Ankit B. PatelAssistant Professor, Baylor College of Medicine, Rice UniversityVerified email at rice.edu