Založit si vlastní profil
Spoluautoři
- Francesco Zappa NardelliFacebookE-mailová adresa ověřena na: fb.com
- Lee PikeAWS Automated ReasoningE-mailová adresa ověřena na: amazon.com
- Alwyn GoodloeResearch Computer Engineer, NASAE-mailová adresa ověřena na: nasa.gov
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mailová adresa ověřena na: mpi-sws.org
- Soham Sundar ChakrabortyTU DelftE-mailová adresa ověřena na: tudelft.nl
- Benoit MontaguInriaE-mailová adresa ověřena na: inria.fr
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu
- Gregory MalechaBedRock Systems, IncE-mailová adresa ověřena na: bedrocksystems.com
- Andre DeHonUniversity of PennsylvaniaE-mailová adresa ověřena na: acm.org
- Greg MorrisettDean and Professor, Cornell UniversityE-mailová adresa ověřena na: cornell.edu
- Greg SullivanDover MicrosystemsE-mailová adresa ověřena na: sulliwood.org
- Olin ShiversNortheastern UniversityE-mailová adresa ověřena na: ccs.neu.edu
- Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu
- Florian BourseProfesseur agrégéE-mailová adresa ověřena na: ens.fr
- David NaccacheENS (Equipe Securité) & visiting RHUL (ISG)E-mailová adresa ověřena na: ens.fr
- Antoine AmarilliI don't endorse Scholar, and just use it for recommendations and alerts. Please ignore this profile.E-mailová adresa ověřena na: a3nm.net