News

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!

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!