An efficient parallel garbage collection system and ITS correctness proof | IEEE Conference Publication | IEEE Xplore