내 프로필 만들기
공개 액세스
모두 보기자료 30개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Isil DilligUT Austincs.utexas.edu의 이메일 확인됨
- Chris JermaineAssociate Professor of Computer Science, Rice Universitycs.rice.edu의 이메일 확인됨
- Lydia E. KavrakiRice Universityrice.edu의 이메일 확인됨
- Rajeev AlurZisman Family Professor of Computer and Information Science, University of Pennsylvaniaseas.upenn.edu의 이메일 확인됨
- Abhinav VermaPennsylvania State Universitypsu.edu의 이메일 확인됨
- Yisong YueCalifornia Institute of Technology; Asari AI; Latitude AIcaltech.edu의 이메일 확인됨
- Vijayaraghavan MuraliFacebookfb.com의 이메일 확인됨
- Neil T. DantamAssociate Professor of Computer Science, Colorado School of Minesmines.edu의 이메일 확인됨
- Armando Solar-LezamaMITcsail.mit.edu의 이메일 확인됨
- Sumit GulwaniDistinguished Scientist, Microsoftmicrosoft.com의 이메일 확인됨
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsincs.wisc.edu의 이메일 확인됨
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-Madisoncs.wisc.edu의 이메일 확인됨
- William EnckProfessor of Computer Science, North Carolina State Universityncsu.edu의 이메일 확인됨
- Damien OcteauGooglegoogle.com의 이메일 확인됨
- Rishabh SinghResearch Scientist, Google Braingoogle.com의 이메일 확인됨
- Dipak ChaudhariApplied Research Scientist, Meta Platforms, Incfb.com의 이메일 확인됨
- Petar TsankovCo-founder & CEO, LatticeFlowlatticeflow.ai의 이메일 확인됨
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;inf.ethz.ch의 이메일 확인됨
- Matthew MirmanETH Zürichinf.ethz.ch의 이메일 확인됨