Get my own profile
Co-authors
Francesco Zappa NardelliFacebookVerified email at fb.com
Lee PikeAWS Automated ReasoningVerified email at amazon.com
Alwyn GoodloeResearch Computer Engineer, NASAVerified email at nasa.gov
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Soham Sundar ChakrabortyTU DelftVerified email at tudelft.nl
Benoit MontaguInriaVerified email at inria.fr
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Gregory MalechaBedRock Systems, IncVerified email at bedrocksystems.com
Andre DeHonUniversity of PennsylvaniaVerified email at acm.org
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Greg SullivanDover MicrosystemsVerified email at sulliwood.org
Olin ShiversNortheastern UniversityVerified email at ccs.neu.edu
Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Florian BourseProfesseur agrégéVerified email at ens.fr
David NaccacheENS (Equipe Securité) & visiting RHUL (ISG)Verified email at ens.fr
Antoine AmarilliI don't endorse Scholar, and just use it for recommendations and alerts. Please ignore this profile.Verified email at a3nm.net