Sound Garbage Collection for C using Pointer Provenance
This is Subarno Banerjee, PhD student at U-Michigan working on program analysis with Satish Narayanasamy and Peter Chen, and in collaboration with David Devecsery at GeorgiaTech. Our OOPSLA '20 paper presents a sound way of garbage collection for C by efficiently tracking provenance of pointers.
https://doi.org/10.1145/3428244
Sound Garbage Collection for C using Pointer Provenance
Paper DOI: https://doi.org/10.1145/3428244
Presented at OOPSLA, part of SPLASH 2020
By Subarno Banerjee, David Devecsery, Peter M. Chen, Satish Narayanasamy