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

Add link to the draft
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details

Browse source
This commit is contained in:
Yiyun Liu 2025-07-15 15:02:44 -04:00
parent c52a2e4fff
commit 79812a9bd8
3 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
index.org
View file

@ -22,6 +22,10 @@ replicated data types, random testing, and modeling of CheckedC in
Redex. Redex.
* Research * Research
- Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach
(*Under Submission*, [[file:papers/conf.pdf][draft]]) ::
*Yiyun Liu*, Stephanie Weirich
- Consistency of a Dependent Calculus of Indistinguishability (*POPL25*, [[file:papers/dcoiomega.pdf][paper]], [[https://doi.org/10.1145/3704843][doi]]) :: - 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

BIN
papers/conf.pdf (Stored with Git LFS) Normal file
View file

Binary file not shown.

2
site.hs
View file

@ -9,7 +9,7 @@ hakyllConfig :: Configuration
hakyllConfig = hakyllConfig =
defaultConfiguration defaultConfiguration
{ deployCommand = { deployCommand =
"rsync -ave ssh --rsync-path=/usr/bin/openrsync _site/ ohqo@192.168.77.4:/var/www/htdocs/electriclam.com --delete" "rsync -ave 'ssh -p 10087' _site/ alcymd@electriclam.com:/var/www/infopage --delete"
} }
pandocOptions :: WriterOptions pandocOptions :: WriterOptions