An Efficient Parallel Garbage Collection System and Its Correctness Proof

H. T. Kung, S. W. Song

Browse the full FOCS paper archive.