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 normalesup.org
- 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