Fangyi Zhou


Statically Verified Refinements for Multiparty Protocols @ OOPSLA '20

I presented my paper Statically Verified Refinements for Multiparty Protocols at OOPSLA 2020 this year, held virtually. …

Read On →

Fluid Session Types @ PLACES '19

I gave a talk on the ongoing work of Fluid Session Types last Sunday in PLACES, Prague. This is joint work with my …

Read On →