Cristiano Calcagno Matthew J. Parkinson Viktor Vafeiadis Modular Safety Checking for Fine-Grained Concurrency. 233-248 2007 conf/sas/2007 SAS http://dx.doi.org/10.1007/978-3-540-74061-2_15 db/conf/sas/sas2007.html#CalcagnoPV07