Sound garbage collection for C using pointer provenance.

Subarno Banerjee David Devecsery Peter M. Chen Satish Narayanasamy

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

garbage collection
flash memory
data structure
memory management
metadata
data quality
space efficient
databases
database systems
database
pattern recognition
general purpose
main memory
java virtual machine