Sound garbage collection for C using pointer provenance

Subarno Banerjee, David Devecsery, Peter M. Chen, Satish Narayanasamy. Sound garbage collection for C using pointer provenance. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]

Authors

Subarno Banerjee

This author has not been identified. Look up 'Subarno Banerjee' in Google

David Devecsery

This author has not been identified. Look up 'David Devecsery' in Google

Peter M. Chen

This author has not been identified. Look up 'Peter M. Chen' in Google

Satish Narayanasamy

This author has not been identified. Look up 'Satish Narayanasamy' in Google