내 프로필 만들기
공개 액세스
모두 보기자료 14개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Shaz QadeerSoftware Engineer, Metameta.com의 이메일 확인됨
- Randal BryantCarnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Thomas BallMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Akash LalMicrosoft Research, Indiamicrosoft.com의 이메일 확인됨
- Isil DilligUT Austincs.utexas.edu의 이메일 확인됨
- Madanlal MusuvathiMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Christian BirdMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Zvonimir RakamaricAmazon Web Services (AWS)amazon.com의 이메일 확인됨
- Todd MytkowiczMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Henrique RebêloProfessor of Computer Science, Universidade Federal de Pernambucocin.ufpe.br의 이메일 확인됨
- Elizabeth DinellaUniversity Of Pennsylvaniaseas.upenn.edu의 이메일 확인됨
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsincs.wisc.edu의 이메일 확인됨
- Yuepeng WangSimon Fraser Universitysfu.ca의 이메일 확인됨
- Byron CookProfessor of Computer Science, UCL, Amazoncs.ucl.ac.uk의 이메일 확인됨
- Michael D. ErnstProfessor of Computer Science & Engineering, University of Washingtoncs.washington.edu의 이메일 확인됨
- Jordan HenkelSenior Scientist, Microsoftcs.wisc.edu의 이메일 확인됨
- Jeevana Priya InalaMicrosoftmicrosoft.com의 이메일 확인됨
- Sarah FakhouryPostdoctoral Researcher, Microsoft Researchmicrosoft.com의 이메일 확인됨
- Alexey SvyatkovskiyGoogle DeepMindgoogle.com의 이메일 확인됨