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

Update git link and doi

Browse source
This commit is contained in:
Yiyun Liu 2025-01-17 00:41:57 -05:00
parent 1d7505942b
commit fa67776c8b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
index.org
View file

@ -2,7 +2,7 @@
- E-mail :: [[mailto:liuyiyun@seas.upenn.edu][liuyiyun@seas.upenn.edu]] - E-mail :: [[mailto:liuyiyun@seas.upenn.edu][liuyiyun@seas.upenn.edu]]
- Social :: [[https://bsky.app/profile/ohqo.bsky.social][ohqo.bsky.social@Bluesky]] - Social :: [[https://bsky.app/profile/ohqo.bsky.social][ohqo.bsky.social@Bluesky]]
- Blog :: [[https://blog.electriclam.com][blog.electriclam.com]] - Blog :: [[https://blog.electriclam.com][blog.electriclam.com]]
- Github :: [[https://github.com/yiyunliu][yiyunliu]] - Git :: [[https://github.com/yiyunliu][yiyunliu@github]], [[https://git.electriclam.com/yiyunliu][Self-hosted Forgejo]]
I am currently a fourth-year CS PhD student at University of I am currently a fourth-year CS PhD student at University of
Pennsylvania, advised by [[https://www.seas.upenn.edu/~sweirich/][Prof. Stephanie Weirich]]. I got my MS degree from University of Maryland, advised Pennsylvania, advised by [[https://www.seas.upenn.edu/~sweirich/][Prof. Stephanie Weirich]]. I got my MS degree from University of Maryland, advised
@ -21,7 +21,7 @@ replicated data types, random testing, and modeling of CheckedC in
Redex. Redex.
* Research * Research
- Consistency of a Dependent Calculus of Indistinguishability (*POPL25*, [[file:papers/dcoiomega.pdf][paper]]) :: - Consistency of a Dependent Calculus of Indistinguishability (*POPL25*, [[file:papers/dcoiomega.pdf][paper]], [[https://doi.org/10.1145/3704843][doi]]) ::
*Yiyun Liu*, Jonathan Chan, Stephanie Weirich *Yiyun Liu*, Jonathan Chan, Stephanie Weirich
- 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]]) ::