I presented my paper Statically Verified Refinements for Multiparty Protocols at OOPSLA 2020 this year, held virtually. This paper is co-authored by Francisco Ferreira, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida.

You can find the paper here from the publisher (Open Access). The full version of the paper is available on arXiv at 2009.06541.

The video of the talk is available on YouTube (full version, 15 min), and a short version (5 min) is also available.

Our paper has an accompanying artifact (as a Docker image). Source codes are available on GitHub.