Fangyi Zhou Home Posts Publications About Posts 2020 (1) March (1) Mar 29 · Statically Verified Refinements for Multiparty Protocols @ OOPSLA '20 2019 (1) April (1) Apr 9 · Fluid Session Types @ PLACES '19