내 프로필 만들기
공개 액세스
모두 보기자료 13개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Viktor KunčakEPFLepfl.ch의 이메일 확인됨
- Heiko Beckeritemis AGitemis.com의 이메일 확인됨
- Zachary TatlockUniversity of Washingtoncs.washington.edu의 이메일 확인됨
- Anastasia IsychevTechnical University of Munichin.tum.de의 이메일 확인됨
- Rupak MajumdarMPI for Software Systemsmpi-sws.org의 이메일 확인됨
- Dan GrossmanComputer Science, University of Washingtoncs.washington.edu의 이메일 확인됨
- Chandrakana NandiSenior Researcher, Certora Inc.certora.com의 이메일 확인됨
- Magnus MyreenChalmers University of Technologycl.cam.ac.uk의 이메일 확인됨
- Debasmita LoharPostdoctoral Researcher, Karlsruhe Institute of Technologykit.edu의 이메일 확인됨
- Babak FalsafiProfessor of Computer Science, EPFLepfl.ch의 이메일 확인됨
- Phillip Stanley-MarbellUniversity of Cambridgeeng.cam.ac.uk의 이메일 확인됨
- Andreas GerstlauerEletrical and Computer Engineering, The University of Texas at Austinece.utexas.edu의 이메일 확인됨
- Max WillseyUC Berkeleyeecs.berkeley.edu의 이메일 확인됨
- James R. WilcoxUniversity of Washingtoncs.washington.edu의 이메일 확인됨
- Fabian RitterPhD Candidate, Computer Science, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Adrian SampsonComputer Science, Cornell Universitycornell.edu의 이메일 확인됨
- Natalie Enright JergerUniversity of Torontoeecg.toronto.edu의 이메일 확인됨
- Lara DolecekElectrical Engineering, UCLAee.ucla.edu의 이메일 확인됨
- Mattia CacciottiÉcole Polytechnique Fédérale de Lausanneepfl.ch의 이메일 확인됨
- Sasa MisailovicUniversity of Illinois at Urbana–Champaignillinois.edu의 이메일 확인됨