Yao Li

Program adverbs and Tlön embeddings

Stephanie Weirich, Yao Li, 2022, Proc. ACM Program. Lang..

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)

Antal Spector-Zabusky, Stephanie Weirich, Yao Li, 2018, Journal of Functional Programming.

From C to interaction trees: specifying, verifying, and testing a networked server

Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2018, CPP.