4 ms·
Paper: http://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf http://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf Code: https://gitlab.mpi-sws.org/FP/ghostcell ht
by erichocean 5y ago
Paper: http://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf http://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf
Code: https://gitlab.mpi-sws.org/FP/ghostcell https://gitlab.mpi-sws.org/FP/ghostcell