Our paper "View-Based Owicki-Gries Reasoning for Persistent x86-TSO" has been accepted to ESOP 2022!
Our paper "Finding Real Bugs in Big Programs with Incorrectness Logic" has been accepted to OOPSLA 2022!
I will serve on the program committee of ICFP 2022!
I will serve on the program committee of CAV 2022!
Our paper on Concurrent Incorrectness Separation Logic has been accepted to POPL 2022!
Our paper on formalising the semantics of Intel-x86 memory types and non-temporal stores has been accepted to POPL 2022!
I have been awarded a UKRI Future Leaders Fellowship for my research into the future of persistent memory technology!
I have received the Imperial College President's Award for Outstanding Early Career Researcher!
We have been awarded a VeTSS grant for our proposal on NVM Validation!