Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky. CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 456-467, ACM, 2007. [doi]
Abstract is missing.