Crea il mio profilo
Accesso pubblico
Visualizza tutto13 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Viktor KunčakEPFLEmail verificata su epfl.ch
- Heiko Beckeritemis AGEmail verificata su itemis.com
- Anastasia IsychevTechnical University of MunichEmail verificata su in.tum.de
- Zachary TatlockUniversity of WashingtonEmail verificata su cs.washington.edu
- Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
- Dan GrossmanComputer Science, University of WashingtonEmail verificata su cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Email verificata su certora.com
- Magnus MyreenChalmers University of TechnologyEmail verificata su cl.cam.ac.uk
- Debasmita LoharPostdoctoral Researcher, Karlsruhe Institute of TechnologyEmail verificata su kit.edu
- Babak FalsafiProfessor of Computer Science, EPFLEmail verificata su epfl.ch
- Phillip Stanley-MarbellUniversity of CambridgeEmail verificata su eng.cam.ac.uk
- Andreas GerstlauerEletrical and Computer Engineering, The University of Texas at AustinEmail verificata su ece.utexas.edu
- Max WillseyUC BerkeleyEmail verificata su eecs.berkeley.edu
- James R. WilcoxUniversity of WashingtonEmail verificata su cs.washington.edu
- Fabian RitterPhD Candidate, Computer Science, Saarland Informatics CampusEmail verificata su cs.uni-saarland.de
- Adrian SampsonComputer Science, Cornell UniversityEmail verificata su cornell.edu
- Natalie Enright JergerUniversity of TorontoEmail verificata su eecg.toronto.edu
- Lara DolecekElectrical Engineering, UCLAEmail verificata su ee.ucla.edu
- Mattia CacciottiÉcole Polytechnique Fédérale de LausanneEmail verificata su epfl.ch
- Sasa MisailovicUniversity of Illinois at Urbana–ChampaignEmail verificata su illinois.edu