Get my own profile
Public access
View all17 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerified email at bc.edu
Nickolai ZeldovichVerified email at csail.mit.edu
Frans KaashoekMassuchesetts Institute of Technology (MIT)Verified email at mit.edu
Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
Tej ChajedUniversity of Wisconsin-MadisonVerified email at wisc.edu
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Guy L. Steele Jr.Oracle LabsVerified email at oracle.com
Gang TanProfessor of computer science and engineering, Penn State UniversityVerified email at cse.psu.edu
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Simon SpiesMPI-SWSVerified email at mpi-sws.org
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at cnrs.fr
Amin TimanyAarhus UniversityVerified email at cs.au.dk
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Michael WickUniversity of MassachusettsVerified email at cs.umass.edu
Daniel HuangAssistant ProfessorVerified email at sfsu.edu