News

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!

Jan 2020

I'm attending POPL 2020 in New Orleans to present our NVM paper!

Dec 2019

I will serve on the OOPSLA 2020 program committee!

Oct 2019

Our NVM paper on Intel-x86 persistency semantics has been accepted to POPL 2020!

Aug 2019

Jul 2019

Our NVM paper on ARMv8 persistency semantics has been accepted to OOPSLA 2019!

Jul 2019

Our model checking paper has been accepted to OOPSLA 2019!

Jun 2019

I have been invited to give a talk at VDS (Verification of Distributed Systems) 2019!

May 2019

It's official! I will join the faculty at Imperial College London as a lecturer in 2020!