Publications
Internalizing Indistinguishability with Dependent Types
Yiyun Liu, Jonathan Chan, Jessica Shi, Stephanie Weirich
POPL2024 paper
Dependently-Typed Programming with Logical Equality Reflection
Yiyun Liu, Stephanie Weirich
A Formal Model of Checked C
Liyi Li, Yiyun Liu, Deena Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou