Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Viktor KunčakEPFLVerified email at epfl.ch
- Heiko Beckeritemis AGVerified email at itemis.com
- Anastasia IsychevTechnical University of MunichVerified email at in.tum.de
- Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
- Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
- Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Verified email at certora.com
- Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
- Debasmita LoharPostdoctoral Researcher, Karlsruhe Institute of TechnologyVerified email at kit.edu
- Babak FalsafiProfessor of Computer Science, EPFLVerified email at epfl.ch
- Phillip Stanley-MarbellUniversity of CambridgeVerified email at eng.cam.ac.uk
- Andreas GerstlauerEletrical and Computer Engineering, The University of Texas at AustinVerified email at ece.utexas.edu
- Max WillseyUC BerkeleyVerified email at eecs.berkeley.edu
- James R. WilcoxUniversity of WashingtonVerified email at cs.washington.edu
- Fabian RitterPhD Candidate, Computer Science, Saarland Informatics CampusVerified email at cs.uni-saarland.de
- Adrian SampsonComputer Science, Cornell UniversityVerified email at cornell.edu
- Natalie Enright JergerUniversity of TorontoVerified email at eecg.toronto.edu
- Lara DolecekElectrical Engineering, UCLAVerified email at ee.ucla.edu
- Mattia CacciottiÉcole Polytechnique Fédérale de LausanneVerified email at epfl.ch
- Sasa MisailovicUniversity of Illinois at Urbana–ChampaignVerified email at illinois.edu