自分のプロフィールを作成
オープン アクセス
すべて表示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
- Zico KolterCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Yuvraj AgarwalAssociate Professor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Emily BlackAssistant Professor of Computer Science, Barnard College, Columbia University確認したメール アドレス: barnard.edu
- Corina PasareanuCMU/NASA Ames確認したメール アドレス: nasa.gov
- Jason HongCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Bryan ParnoCarnegie Mellon University確認したメール アドレス: cmu.edu
- Jan HoffmannCarnegie Mellon University確認したメール アドレス: cmu.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin確認したメール アドレス: cs.wisc.edu