Get my own profile
Public access
View all10 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
Patricia JohannAppalachian State UniversityVerified email at appstate.edu
Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
James ChapmanIOGVerified email at iohk.io
Daniel HillerströmSenior researcher, Huawei Research Center ZurichVerified email at ed.ac.uk
Allais GuillaumePostdoc, University of St AndrewsVerified email at st-andrews.ac.uk
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
KC SivaramakrishnanTarides / IIT MadrasVerified email at iitm.ac.in
Éric TanterProfessor of Computer Science, University of ChileVerified email at dcc.uchile.cl
Danel AhmanPostDoc, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Guido MartínezCIFASIS-CONICETVerified email at cifasis-conicet.gov.ar
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Michel SteuwerLecturer (Assistant Professor) in Compilers and Runtime Systems, University of EdinburghVerified email at ed.ac.uk
Christophe DubachAssociate Professor, McGill UniversityVerified email at mcgill.ca
Ekaterina KomendantskayaProfessor in Computer Science, Heriot-Watt University, ScotlandVerified email at hw.ac.uk
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
J. Garrett MorrisThe University of IowaVerified email at acm.org
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Lucas DixonPAIR, Google ResearchVerified email at google.com