Archived News
2021
- 11/11/21: I will be joining the Program Committee of iFM 2022.
- 04/10/21: Our paper on A Survey of Practical Formal Methods for
Security has been accepted for the Formal Aspects of Computing Journal.
- 27/09/21: Our paper on Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL has been accepted for the Journal of Automated Reasoning.
- 25/09/21: Our paper on Checking Opacity and Durable Opacity with FDR has been accepted for SEFM 2021.
- 23/07/21: Our brief announcement has been accepted to DISC 2021: Brief Announcement: On Strong Observational Refinement and
Forward Simulation.
- 17/07/21: Two papers have been accepted to Formal Methods 2021: Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies and Verifying Secure Speculation in Isabelle/HOL.
- 18/06/21: Our edited book on on the Software Engineering for Robotics based on the RoboSoft RAEng event is now available.
- 17/02/21: Our grant proposal on Verifiably Correct Swarm Attestation will be funded! (Value: £514k)
- 03/02/21: Our paper Verifying Correctness of Persistent Concurrent Data Structures: A Sound and Complete Method was accepted for publication in Formal Aspects of Computing.
- 13/01/21: Our paper Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras was accepted for publication in LMCS. Preprint
2020
- 16/11/20: Our paper Verifying C11-Style Weak Memory Libraries was accepted as a poster at PPoPP 2021. Full paper.
- 14/05/20: Our paper Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory was awarded best paper at FORTE 2020!
- 10/04/20: Our paper Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory was accepted to FORTE 2020. preprint
- 09/04/20: Our paper Owicki-Gries Reasoning for C11 RAR was accepted to ECOOP 2020. preprint
- 04/02/20: Received a VeTSS small grant to start in April, 2020.
- 21/01/20: Elena Troubitsyna and I will be PC chairs for iFM 2020.
- 06-10/01/20: Presented at the 79th IFIP 2.1 meeting at Otterlo, Netherlands as an observer.
2019
- 26/11/19: I will be on the program committees of ESOP 2021 and TAP 2020.
- 13-14/11/19: Co-organised RoboSoft: software engineering for robotics at the Royal Academy of Engineering.
- 25/09/19: Gave a talk at the Verified Software Workshop on Owicki-Gries reasoning for C11.
- 01/07/19: Faculty matched funding for a PhD on "Persistent systems security and programme verification" was successful.
- 14/06/19: Our paper on "Cylindric Kleene Lattices for Program Construction" has been accepted to MPC 2019.
- 12/06/19: Our paper on "Verifying Correctness of Persistent Concurrent Data Structures" has been accepted to FM 2019.
- 12/06/19: Our paper on "Deductive Verification of C11 Programs with Event-B and ProB" has been accepted to FTfJP 2019.
- 31/05/19: Funding for our project "FaCT: Faithful Composition of Trust" was successful.
- 01/05/19: Organising the Surrey Concurrency Workshop / S-REPLS (23-24 July).