내 프로필 만들기
공개 액세스
모두 보기자료 8개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Dan GrossmanComputer Science, University of Washingtoncs.washington.edu의 이메일 확인됨
- Robert HarperProfessor of Computer Science, Carnegie Mellon Universityandrew.cmu.edu의 이메일 확인됨
- Karl CraryCarnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- David WalkerPrinceton Universitycs.princeton.edu의 이메일 확인됨
- Aleksandar NanevskiIMDEA Software Instituteimdea.org의 이메일 확인됨
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburghinf.ed.ac.uk의 이메일 확인됨
- Fred SchneiderCS Dept, Cornell Universitycs.cornell.edu의 이메일 확인됨
- Gang TanProfessor of computer science and engineering, Penn State Universitycse.psu.edu의 이메일 확인됨
- Lars BirkedalDept. of Computer Science, Aarhus Universitycs.au.dk의 이메일 확인됨
- Amal AhmedNortheastern Universityccs.neu.edu의 이메일 확인됨
- Gregory MalechaBedRock Systems, Incbedrocksystems.com의 이메일 확인됨
- Matthew FluetRochester Institute of Technologycs.rit.edu의 이메일 확인됨
- Matt WelshGooglemdw.la의 이메일 확인됨
- Geoffrey MainlandAssociate Professor of Computer Science, Drexel Universitydrexel.edu의 이메일 확인됨
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning Groupbc.edu의 이메일 확인됨
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvaniacis.upenn.edu의 이메일 확인됨
- Ryan WisneskyConexus AIwisnesky.net의 이메일 확인됨
- Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas atutdallas.edu의 이메일 확인됨
- Ryan NewtonMIT, Indiana University, Facebookindiana.edu의 이메일 확인됨
- Stephen McCamantAssociate Professor, University of Minnesotacs.umn.edu의 이메일 확인됨