自分のプロフィールを作成
オープン アクセス
すべて表示26 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Somesh JhaLubar Chair of Computer Science, University of Wisconsin確認したメール アドレス: cs.wisc.edu
- Zifan WangCarnegie Mellon University確認したメール アドレス: andrew.cmu.edu
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMU確認したメール アドレス: cmu.edu
- Thomas RistenpartProfessor of Computer Science, Cornell Tech確認したメール アドレス: cornell.edu
- Benjamin LivshitsReader (Associate Professor++) in Computer Science確認したメール アドレス: imperial.ac.uk
- Shayak SenTruEra確認したメール アドレス: truera.com
- Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-Madison確認したメール アドレス: cs.wisc.edu
- Nicolas PapernotUniversity of Toronto and Vector Institute確認したメール アドレス: utoronto.ca
- Yuvraj AgarwalAssociate Professor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Zico KolterCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Jason HongCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Corina PasareanuCMU/NASA Ames確認したメール アドレス: nasa.gov
- Drew DavidsonUniversity of Kansas確認したメール アドレス: ku.edu
- Bryan ParnoCarnegie Mellon University確認したメール アドレス: cmu.edu
- John C MitchellProfessor of Computer Science, Stanford University確認したメール アドレス: Stanford.edu
- Jan HoffmannCarnegie Mellon University確認したメール アドレス: cmu.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsin確認したメール アドレス: cs.wisc.edu