Publications
Consistency of a Dependent Calculus of Indistinguishability
Yiyun Liu, Jonathan Chan, Stephanie Weirich
Theoretical Pearl: Short and Mechanized Logical Relation for Dependent Type Theories
Yiyun Liu, Jonathan Chan, Stephanie Weirich
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