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
Ahmadi S
(2024)
Operationally proving memory access violations in Isabelle/HOL
in Science of Computer Programming
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 |