自分のプロフィールを作成
オープン アクセス
すべて表示30 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Isil DilligUT Austin確認したメール アドレス: cs.utexas.edu
- Chris JermaineAssociate Professor of Computer Science, Rice University確認したメール アドレス: cs.rice.edu
- Lydia E. KavrakiRice University確認したメール アドレス: rice.edu
- Rajeev AlurZisman Family Professor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: seas.upenn.edu
- Abhinav VermaPennsylvania State University確認したメール アドレス: psu.edu
- Yisong YueCalifornia Institute of Technology; Asari AI; Latitude AI確認したメール アドレス: caltech.edu
- Vijayaraghavan MuraliFacebook確認したメール アドレス: fb.com
- Neil T. DantamAssociate Professor of Computer Science, Colorado School of Mines確認したメール アドレス: mines.edu
- Armando Solar-LezamaMIT確認したメール アドレス: csail.mit.edu
- Sumit GulwaniPartner Research Manager, Microsoft確認したメール アドレス: microsoft.com
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin確認したメール アドレス: cs.wisc.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-Champaign確認したメール アドレス: illinois.edu
- Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-Madison確認したメール アドレス: cs.wisc.edu
- William EnckProfessor of Computer Science, North Carolina State University確認したメール アドレス: ncsu.edu
- Damien OcteauGoogle確認したメール アドレス: google.com
- Rishabh SinghResearch Scientist, Google Brain確認したメール アドレス: google.com
- Dipak ChaudhariApplied Research Scientist, Meta Platforms, Inc確認したメール アドレス: fb.com
- Petar TsankovCo-founder & CEO, LatticeFlow確認したメール アドレス: latticeflow.ai
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;確認したメール アドレス: inf.ethz.ch
- Matthew MirmanETH Zürich確認したメール アドレス: inf.ethz.ch