Get my own profile
Public access
View all31 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
- Thomas HenzingerIST AustriaVerified email at ist.ac.at
- Niki VazouIMDEA Software InstituteVerified email at cs.umd.edu
- Kenneth McMillanMicrosoft ResearchVerified email at microsoft.com
- Deian StefanUC San DiegoVerified email at eng.ucsd.edu
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
- Eric L SeidelBloombergVerified email at seidel.io
- Ravi ChughAssociate Professor, Computer Science, University of ChicagoVerified email at cs.uchicago.edu
- Westley WeimerProfessor Computer Science, University of MichiganVerified email at umich.edu
- Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr
- Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
- Charles KillianSoftware Engineer, Google, and Adjunct Professor of Computer Science, Purdue UniversityVerified email at google.com
- Klaus v. GleissenthallAssistant Professor, Vrije Universiteit AmsterdamVerified email at ucsd.edu
- Hovav ShachamProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
- Rami Gökhan KıcıApplied Scientist, Amazon Web ServicesVerified email at eng.ucsd.edu
- Amin VahdatGoogleVerified email at cs.ucsd.edu
- Steven SwansonUniversity of California, San DiegoVerified email at eng.ucsd.edu
- Simon Peyton JonesEpic GamesVerified email at epicgames.com
- Dongseok JangPhD Student of University of California, San DiegoVerified email at cs.ucsd.edu
- Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Follow