Get my own profile
Co-authors
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Sorin LernerProfessor, CSE Dept, UC San DiegoVerified email at cs.ucsd.edu
Niki VazouIMDEA Software InstituteVerified email at cs.umd.edu
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Ravi ChughUniversity of ChicagoVerified email at cs.uchicago.edu
Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr
Eric L SeidelBloombergVerified email at seidel.io
Westley WeimerProfessor Computer Science, University of MichiganVerified email at umich.edu
Charles KillianSoftware Engineer, Google, and Adjunct Professor of Computer Science, Purdue UniversityVerified email at google.com
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
Deian StefanUC San DiegoVerified email at eng.ucsd.edu
Hovav ShachamProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
Amin VahdatGoogleVerified email at cs.ucsd.edu
Steven SwansonUniversity of California, San DiegoVerified email at eng.ucsd.edu
Dongseok JangPhD Student of University of California, San DiegoVerified email at cs.ucsd.edu
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Laura (Grupp) CaulfieldSenior Developer, MicrosoftVerified email at microsoft.com
Ameen AkelMicron Technology, Inc.Verified email at micron.com
Rami Gökhan KıcıPhD Student, University of California, San DiegoVerified email at eng.ucsd.edu