yiyunliu/info-page
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Minor

Browse source
This commit is contained in:
Yiyun Liu 2025-01-05 19:14:48 -05:00
parent 51d2614938
commit 547f039842
1 changed files with 3 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
index.org
View file

@ -27,16 +27,13 @@ Redex.
- Theoretical Pearl: Short and Mechanized Logical Relation for Dependent Type Theories (Unpublished, [[file:papers/mltt.pdf][draft]]) :: - Theoretical Pearl: Short and Mechanized Logical Relation for Dependent Type Theories (Unpublished, [[file:papers/mltt.pdf][draft]]) ::
*Yiyun Liu*, Jonathan Chan, Stephanie Weirich *Yiyun Liu*, Jonathan Chan, Stephanie Weirich
- Internalizing Indistinguishability with Dependent Types (*POPL24*, [[file:papers/dcoi.pdf][paper]]) :: - Internalizing Indistinguishability with Dependent Types (*POPL24*, [[file:papers/dcoi.pdf][paper]]) :: *Yiyun Liu*, Jonathan Chan, Jessica Shi, Stephanie Weirich
*Yiyun Liu*, Jonathan Chan, Jessica Shi, Stephanie Weirich
- Dependently-Typed Programming with Logical Equality Reflection - Dependently-Typed Programming with Logical Equality Reflection (*ICFP23*, [[file:papers/systemde.pdf][paper]], [[https://doi.org/10.1145/3607852][doi]]) ::
(*ICFP23*, [[file:papers/systemde.pdf][paper]], [[https://doi.org/10.1145/3607852][doi]]) ::
*Yiyun Liu*, Stephanie Weirich *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]]) :: - 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 Liyi Li, *Yiyun Liu*, Deena Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
- Verifying Replicated Data Types with Typeclass Refinements in Liquid - Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell (*OOPSLA20*, [[file:papers/vrdt.pdf][paper]], [[https://doi.org/10.1145/3428284][doi]]) ::
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 *Yiyun Liu*, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou