Skip to content

Commit 8256200

Browse files
committed
Add GhostCell paper
1 parent ed2f6e5 commit 8256200

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

softdev.bib

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3323,3 +3323,13 @@ @inproceedings{bacon04unified
33233323
month=Oct,
33243324
year={2004}
33253325
}
3326+
3327+
@article{yanovski21ghostcell,
3328+
title="{{GhostCell}: separating permissions from data in {Rust}}",
3329+
author={Yanovski, Joshua and Dang, Hoang-Hai and Jung, Ralf and Dreyer, Derek},
3330+
booktitle="ICFP",
3331+
volume={5},
3332+
pages={1--30},
3333+
year={2021},
3334+
month = Aug,
3335+
}

0 commit comments

Comments
 (0)