Skip to content

Commit 8256200

Browse files
committed
Add GhostCell paper
1 parent ed2f6e5 commit 8256200

1 file changed

Lines changed: 10 additions & 0 deletions

File tree

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)