A general framework for certifying garbage collectors and their mutators.

Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li

Browse the full PLDI paper archive.