News

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!

Apr 2019

I have been invited to attend the Hidelberg Laureate Forum 2019!

Feb 2019

Our model checking paper has been accepted to PLDI 2019!

Jan 2019

I'm attending POPL 2019 in Lisbon, Portugal to present our POPL and VMCAI papers!

Dec 2018

I'm giving a keynote talk at APLAS 2018 in Wellington, New Zealand!