Archived News
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).