내 프로필 만들기
공개 액세스
모두 보기자료 12개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Shaz QadeerSoftware Engineer, Metameta.com의 이메일 확인됨
- Sriram RajamaniMicrosoft Research microsoft.com의 이메일 확인됨
- Shromona GhoshGraduate Student Researcher, University of California, Berkeleyberkeley.edu의 이메일 확인됨
- Tommaso DreossiStaff ML Scientist, insitroamazon.com의 이메일 확인됨
- Natarajan ShankarSRI International Computer Science Laboratorycsl.sri.com의 이메일 확인됨
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoftcsl.sri.com의 이메일 확인됨
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software Systemsmpi-sws.org의 이메일 확인됨
- Amar PhanishayeeMicrosoft Researchcs.cmu.edu의 이메일 확인됨
- David BromanProfessor, KTH Royal Institute of Technologykth.se의 이메일 확인됨
- Indranil SahaAssociate Professor at Indian Institute of Technology Kanpurcse.iitk.ac.in의 이메일 확인됨
- Cambridge YangMIT CSAILmit.edu의 이메일 확인됨
- Pranav GargAmazonamazon.com의 이메일 확인됨
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Hazem TorfahAssistant Professor, Chalmers University of Technologychalmers.se의 이메일 확인됨
- Akash LalMicrosoft Research, Indiamicrosoft.com의 이메일 확인됨
- Pantazis DeligiannisMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Abhishek UdupaMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Kapil VaswaniMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Kaushik RajanMicrosoftmicrosoft.com의 이메일 확인됨