Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Matthieu SozeauResarcher, Inria Paris and PPSVerified email at inria.fr
Bruno SilvestreProfessor do Instituto de Informática, Universidade Federal de GoiásVerified email at inf.ufg.br
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Fabio Mascarenhassama.comVerified email at sama.com
Lourdes del Carmen González HuescaEarly Associate Professor, Faculty of Science, UNAMVerified email at ciencias.unam.mx
Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETVerified email at unc.edu.ar
Francisco TruccoUniversity of GroningenVerified email at rug.nl
Ignacio TiraboschiPhD Student, ENS Paris - INRIAVerified email at inria.fr
RODRIGO GERALDO RIBEIROUniversidade Federal de Ouro PretoVerified email at ufop.edu.br