Get my own profile
Public access
View all12 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 Zurich Research CenterVerified email at ed.ac.uk
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.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
KC SivaramakrishnanTarides / IIT MadrasVerified email at iitm.ac.in
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKVerified email at hw.ac.uk
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Michel SteuwerProfessor | Chair of Compilers and Programming Languages | TU BerlinVerified email at tu-berlin.de
Christophe DubachAssociate Professor, McGill UniversityVerified email at mcgill.ca
Cãtãlin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
J. Garrett MorrisThe University of IowaVerified email at acm.org
Luca ArnaboldiAssistant Professor, University of BirminghamVerified email at bham.ac.uk
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl