Dynamically checking ownership policies in concurrent c/c++ programs. - Jean-Phillipe Martin; Michael Hicks 001; Manuel Costa; Periklis Akritidis; Miguel Castro 001 (POPL, 2010)