EPSRC logo

Details of Grant 

EPSRC Reference: EP/P004172/1
Title: System-Level Game Semantics: A unifying framework for composing systems
Principal Investigator: Tzevelekos, Dr N
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Sch of Electronic Eng & Computer Science
Organisation: Queen Mary, University of London
Scheme: Standard Research
Starts: 01 January 2017 Ends: 31 December 2019 Value (£): 326,972
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
EP/P004490/1
Panel History:
Panel DatePanel NameOutcome
10 Jun 2016 EPSRC ICT Prioritisation Panel - Jun 2016 Announced
Summary on Grant Application Form
The recent work on System-Level Games provides a semantic framework for modelling low-level code interactions involving resources shared between a program and its environment.

This project will apply the framework for deriving compositional analysis techniques for software compilation and verification. Semantically, the project will produce a paradigmatic model for programs made of combinations of arbitrary low- and high-level code fragments.

By directly examining the interaction traces of code, as produced by our model, we will extract trace-based analyses based on co-induction, as well as behavioural types governing game plays. By trace analysis we will also produce syntax-independent compilation analyses on tamper-resistance and code linking.

These techniques will be applied on the prototype language Verity and will deliver significant improvements to its existing GOS compiler, which is particularly suitable a test-bench because of its high degree of heterogeneity both in terms of languages (functional vs. hardware) and platforms (CPU-based vs. FPGA).
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.qmul.ac.uk