News

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!

Oct 2018

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