내 프로필 만들기
공개 액세스
모두 보기자료 13개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Stephen FreundComputer Science, Williams Collegecs.williams.edu의 이메일 확인됨
- Matthias FelleisenTrustee Professor of Computer Science, Northeastern Universityfelleisen.org의 이메일 확인됨
- Shaz QadeerSoftware Engineer, Metameta.com의 이메일 확인됨
- Thomas H. AustinAssociate Professor of Computer Science, San Jose State Universitybias2build.com의 이메일 확인됨
- Tim DisneyUniversity of California Santa Cruzucsc.edu의 이메일 확인됨
- Mark LillibridgeFacebookcs.cmu.edu의 이메일 확인됨
- Caitlin SadowskiGooglegoogle.com의 이메일 확인됨
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruzcs.ucsc.edu의 이메일 확인됨
- Patrice GodefroidLaceworklacework.net의 이메일 확인됨
- Robert Bruce FindlerNorthwestern Universitycs.northwestern.edu의 이메일 확인됨
- Amr SabryProfessor of Computer Science, Indiana Universityindiana.edu의 이메일 확인됨
- Shriram KrishnamurthiProfessor of Computer Science, Brown Universitycs.brown.edu의 이메일 확인됨
- Matthew FlattProfessor, School of Computing, University of Utahcs.utah.edu의 이메일 확인됨
- Jean YangMITcs.cmu.edu의 이메일 확인됨
- Christopher Schusterucsc.edu의 이메일 확인됨
- John ClementsProfessor of Computer Science, Cal Poly State Universitycalpoly.edu의 이메일 확인됨
- Mooly SagivTel Aviv Universityacm.org의 이메일 확인됨
- Armando Solar-LezamaMITcsail.mit.edu의 이메일 확인됨
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Yannis SmaragdakisUniversity of Athensdi.uoa.gr의 이메일 확인됨
팔로우
Cormac Flanagan
Professor of Computer Science, University of California Santa Cruz
ucsc.edu의 이메일 확인됨 - 홈페이지