创建我的个人资料
合著作者
- Francesco Zappa NardelliFacebook在 fb.com 的电子邮件经过验证
- Lee PikeAWS Automated Reasoning在 amazon.com 的电子邮件经过验证
- Alwyn GoodloeResearch Computer Engineer, NASA在 nasa.gov 的电子邮件经过验证
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
- Soham Sundar ChakrabortyTU Delft在 tudelft.nl 的电子邮件经过验证
- Benoit MontaguInria在 inria.fr 的电子邮件经过验证
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
- Gregory MalechaBedRock Systems, Inc在 bedrocksystems.com 的电子邮件经过验证
- Andre DeHonUniversity of Pennsylvania在 acm.org 的电子邮件经过验证
- Greg MorrisettDean and Professor, Cornell University在 cornell.edu 的电子邮件经过验证
- Greg SullivanDover Microsystems在 sulliwood.org 的电子邮件经过验证
- Olin ShiversNortheastern University在 ccs.neu.edu 的电子邮件经过验证
- Jonathan SmithProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
- Florian BourseProfesseur agrégé在 ens.fr 的电子邮件经过验证
- David NaccacheENS (Equipe Securité) & visiting RHUL (ISG)在 ens.fr 的电子邮件经过验证
- Antoine AmarilliI don't endorse Scholar, and just use it for recommendations and alerts. Please ignore this profile.在 a3nm.net 的电子邮件经过验证