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 ViennaVerified 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