Cgcexplorer: a semi-automated search procedure for provably correct concurrent collectors (2007)

by Martin T Vechev, Eran Yahav, David F Bacon, Noam Rinetzky
Venue:In PLDI ’07: Proceedings of the ACM SIGPLAN 2007 conference on Programming Language Design and Implementation