News

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!