Shimin Chen LBA Reading Group Presentation
DieHard : Probabilistic Memory Safety for Unsafe Languages