Verifying concurrent memory reclamation algorithms with grace. (2013)

by A Gotsman, N Rinetzky, H Yang
Venue:In ESOP,