Dynamically checking ownership policies in concurrent c/c++ programs.

Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro

Browse the full POPL paper archive.