GhostCell: Separating Permissions from Data in Rust (youtube.com)

1 points by erichocean 4y ago ↗ HN

1 comment

[ 3.4 ms ] story [ 14.2 ms ] thread

erichocean 4y ago ↗

Paper: http://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf

Code: https://gitlab.mpi-sws.org/FP/ghostcell