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 LernerAssociate Professor, CSE Dept, UC San DiegoVerified email at cs.ucsd.edu
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
- Niki VazouIMDEA Software InstituteVerified email at cs.umd.edu
- Ravi ChughUniversity of ChicagoVerified email at cs.uchicago.edu
- Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr
- Eric L SeidelUC San DiegoVerified email at cs.ucsd.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, UC San DiegoVerified email at ucsd.edu
- Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
- Westley WeimerProfessor Computer Science, University of MichiganVerified email at umich.edu
- Amin VahdatGoogleVerified email at cs.ucsd.edu
- Hovav ShachamProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.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
- Laura (Grupp) CaulfieldSenior Developer, MicrosoftVerified email at microsoft.com
- Ameen AkelMicron Technology, Inc.Verified email at micron.com
- Yuvraj AgarwalAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Deian StefanUC San DiegoVerified email at eng.ucsd.edu
