CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.

Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky

Browse the full PLDI paper archive.