自分のプロフィールを作成
オープン アクセス
すべて表示10 件の論文
6 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Yoonsik CheonThe University of Texas at El Paso確認したメール アドレス: utep.edu
- Erik PollRadboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Peter MüllerETH Zurich確認したメール アドレス: inf.ethz.ch
- Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & Fair確認したメール アドレス: acm.org
- Hridesh RajanProfessor and Chair, Iowa State University確認したメール アドレス: acm.org
- Arnd Poetzsch-HeffterProfessor für Informatik, University of Kaiserslautern-Landau確認したメール アドレス: cs.uni-kl.de
- Murali SitaramanProfessor of Computer Science, Clemson University確認したメール アドレス: clemson.edu
- Todd MillsteinProfessor of Computer Science, UCLA確認したメール アドレス: cs.ucla.edu
- Henrique RebêloProfessor of Computer Science, Universidade Federal de Pernambuco確認したメール アドレス: cin.ufpe.br
- Amirfarhad NilizadehPh.D., Advanced Micro Devices (AMD)確認したメール アドレス: amd.com
- Ricardo Massa Ferreira LimaAssociate Professor of Computer Science, Center of Informatics, Federal University of Pernambuco (CIn/UFPE)確認したメール アドレス: cin.ufpe.br
- Tim WahlsDickinson College確認したメール アドレス: dickinson.edu
- Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris Cité確認したメール アドレス: irif.fr
- Kim BruceEmeritus Professor of Computer Science, Pomona College確認したメール アドレス: pomona.edu
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Michael D. ErnstProfessor of Computer Science & Engineering, University of Washington確認したメール アドレス: cs.washington.edu
- Mehdi BagherzadehAssociate Professor of Computer Science, Oakland University確認したメール アドレス: oakland.edu
- David A. NaumannProfessor of Computer Science, Stevens Institute of Technology確認したメール アドレス: cs.stevens.edu
- Daniel M. ZimmermanSenior Staff Research Scientist, CertiK確認したメール アドレス: acm.org
- Natarajan ShankarSRI International Computer Science Laboratory確認したメール アドレス: csl.sri.com