News

Feb 2019

Our model checking paper has been accepted to PLDI 2019! (preprint here)

Jan 2019

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

Dec 2019

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

Nov 2019

Our STM paper has been accepted to VMCAI 2019!

Nov 2019

I will serve on the POPL 2020 program committee!

Oct 2019

I'm attending OOPSLA 2018 in Boston, USA to present our NVM paper!

Oct 2019

Our WMC paper has been accepted to POPL 2019!