šŸ“£ Help Shape the Future of UKRI's Gateway to Research (GtR)

We're improving UKRI's Gateway to Research and are seeking your input! If you would be interested in being interviewed about the improvements we're making and to have your say about how we can make GtR more user-friendly, impactful, and effective for the Research and Innovation community, please email gateway@ukri.org.

Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)

Lead Research Organisation: University of Surrey
Department Name: Computing Science

Abstract

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

Publications

10 25 50
publication icon
Griffin M (2024) A Binary Analysis Platform in Isabelle/HOL

publication icon
Lahav O (2023) Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)

publication icon
Lahav O (2023) Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

publication icon
Raad A (2024) Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

publication icon
Raad A (2024) Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

publication icon
Semenyuk M (2023) Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

publication icon
Semenyuk M (2023) Ownership-Based Owicki-Gries Reasoning

publication icon
Ter Beek M (2024) The Role of Formal Methods in Computer Science Education in ACM Inroads

publication icon
Vafeiadi Bila E (2024) Specifying and Verifying Persistent Transactional Memory

publication icon
VafeiadiĀ Bila E (2024) A verified durable transactional mutex lock for persistent x86-TSO in Formal Methods in System Design

 
Description ARM 
Organisation Arm Limited
Country United Kingdom 
Sector Private 
PI Contribution Dongol together with Prof John Derrick and Dr Simon Doherty travelled to ARM (Cambridge) to discuss potential for collaborative work with ARM. Dongol gave a presentation (via a lunch-and-learn session), followed by a discussion about the most imminent problems for verification at ARM.
Collaborator Contribution ARM have provided some feedback on our work and discussed the methods that would have most impact.
Impact Dr Stephan Diestelhorst at ARM is an industrial collaborator on my new EPSRC grant (under review).
Start Year 2016