From 547f039842f57f905be8f14a64ef2d65f693be67 Mon Sep 17 00:00:00 2001 From: Yiyun Liu Date: Sun, 5 Jan 2025 19:14:48 -0500 Subject: [PATCH] Minor --- index.org | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/index.org b/index.org index 672a096..05b4592 100644 --- a/index.org +++ b/index.org @@ -27,16 +27,13 @@ Redex. - Theoretical Pearl: Short and Mechanized Logical Relation for Dependent Type Theories (Unpublished, [[file:papers/mltt.pdf][draft]]) :: *Yiyun Liu*, Jonathan Chan, Stephanie Weirich -- Internalizing Indistinguishability with Dependent Types (*POPL24*, [[file:papers/dcoi.pdf][paper]]) :: - *Yiyun Liu*, Jonathan Chan, Jessica Shi, Stephanie Weirich +- Internalizing Indistinguishability with Dependent Types (*POPL24*, [[file:papers/dcoi.pdf][paper]]) :: *Yiyun Liu*, Jonathan Chan, Jessica Shi, Stephanie Weirich -- Dependently-Typed Programming with Logical Equality Reflection - (*ICFP23*, [[file:papers/systemde.pdf][paper]], [[https://doi.org/10.1145/3607852][doi]]) :: +- Dependently-Typed Programming with Logical Equality Reflection (*ICFP23*, [[file:papers/systemde.pdf][paper]], [[https://doi.org/10.1145/3607852][doi]]) :: *Yiyun Liu*, Stephanie Weirich - A Formal Model of Checked C (*CSF22*, [[file:papers/checkedc.pdf][paper]], [[https://doi.ieeecomputersociety.org/10.1109/CSF54842.2022.9919657][doi]]) :: Liyi Li, *Yiyun Liu*, Deena Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks -- Verifying Replicated Data Types with Typeclass Refinements in Liquid - Haskell (*OOPSLA20*, [[file:papers/vrdt.pdf][paper]], [[https://doi.org/10.1145/3428284][doi]]) :: +- Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell (*OOPSLA20*, [[file:papers/vrdt.pdf][paper]], [[https://doi.org/10.1145/3428284][doi]]) :: *Yiyun Liu*, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou