News

Jul 2019

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

Jul 2019

Our model checking paper has been (conditionally) accepted to OOPSLA 2019!

Jun 2019

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

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!

Nov 2018

Our STM paper has been accepted to VMCAI 2019!

Nov 2018

I will serve on the POPL 2020 program committee!