Lancern's Treasure Chest

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