News

Sep 2024

I have been promoted to Reader (Associate Professor)!

Sep 2023

I will give an invited talk at TRENDS co-located with CONFEST 2023!

Sep 2023

I will give an invited talk at YR-CONCUR co-located with CONFEST 2023!

Aug 2023

I will serve on the ESOP 2024 program committee!

Jul 2023

Our paper on Concurrent Adversarial Separation Logic has been accepted to CONCUR 2023!

Jun 2023

I gave a keynote talk at the Federated Conference on Distributed Computing Techniques (DisCoTec)

Jun 2023

I gave a keynote talk at the Mathematical Foundations of Programming Semantics (MFPS)

May 2023

I gave an invited talk at the IRIS workshop!

Apr 2023

I have been awarded an EPSRC research grant for Safe and Secure Remote Direct Memory Access!

Mar 2023

Our paper on a framework for persistent programming has been accepted to PLDI 2023!

Jan 2023

I've been appointed as the co-director of the UK Research Institute on Verified Trustworthy Software Systems (VeTSS)!

Dec 2022

Our paper "Finding Real Bugs in Big Programs with Incorrectness Logic" received the SIGPLAN Distinguished Paper Award!

Oct 2022

I have been awarded a Meta research gift as part of the Privacy Aware Program Analysis Request for Proposals!

Sep 2022

I have been promoted to Senior Lecturer (Associate Professor)!

Jun 2022

Our Dagstuhl seminar proposal on Formal Methods for Persistent Programming has been accepted to take place in 2023!

Apr 2022

Our paper "View-Based Owicki-Gries Reasoning for Persistent x86-TSO" is a winner of the ESOP 2022 Distinguished Artifact Award!

Mar 2022

I had the honour to serve as the Imperial College Mace Bearer at the Faculty of Engineering Graduation, 2022!

Mar 2022

I will serve on the program committee of POPL 2023!

Feb 2022

Our paper "Finding Real Bugs in Big Programs with Incorrectness Logic" has been accepted to OOPSLA 2022!

Jan 2022

Our paper "View-Based Owicki-Gries Reasoning for Persistent x86-TSO" has been accepted to ESOP 2022!

Nov 2021

I will serve on the program committee of ICFP 2022!

Oct 2021

I will serve on the program committee of CAV 2022!

Sep 2021

Our paper on Concurrent Incorrectness Separation Logic has been accepted to POPL 2022!

Sep 2021

Our paper on formalising the semantics of Intel-x86 memory types and non-temporal stores has been accepted to POPL 2022!

Sep 2021

I have been awarded a UKRI Future Leaders Fellowship for my research into the future of persistent memory technology!

Jun 2021

May 2021

I have received the Imperial College President's Award for Outstanding Early Career Researcher!

Feb 2021

Our paper on hardware persistency models has been accepted to PLDI 2021!

Jan 2021

I will give a talk about our recent ISL work at the World Logic Day 2021!

Nov 2020

Our Dagstuhl seminar proposal on Foundations of Persistent Programming has been accepted to take place in 2021!

Oct 2020

Our paper on model checking persistency semantics has been accepted to POPL 2021!

Jul 2020

Our persistent program logic (POG) paper has been accepted to OOPSLA 2020!

May 2020

Our paper on transactional consistency has been accepted to ECOOP 2020!

Apr 2020

Our paper on incorrectness separation logic (ISL) has been accepted to CAV 2020!

Feb 2020

We have been awarded a VeTSS grant for our proposal on NVM Validation!