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
Daniel HillerströmResearcher, The University of EdinburghVerified email at ed.ac.uk
James ChapmanIOGVerified email at iohk.io
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
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
É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
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
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Ekaterina KomendantskayaProfessor in Computer Science, Heriot-Watt University, ScotlandVerified email at hw.ac.uk
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