Get my own profile
Public access
View all5 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Eva DarulovaUppsala UniversityVerified email at it.uu.se
- Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
- Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
- Raphaël MonatResearch Scientist at Inria & University of LilleVerified email at inria.fr
- Nikita ZyuzinIMDEA Software InstituteVerified email at imdea.org
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingVerified email at cs.utah.edu
- Yong Kiam TanInstitute for Infocomm Research, SingaporeVerified email at cs.cmu.edu
- Jean-Baptiste JeanninUniversity of MichiganVerified email at umich.edu
- Mohit TekriwalLawrence Livermore National LaboratoryVerified email at umich.edu
- Anastasia VolkovaUniversité de NantesVerified email at univ-nantes.fr
- Ivan GavranPhD student, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
- Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org