M. Michael, M. Vechev, and V. Saraswat. PPoPP '09: Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, page 45--54. New York, NY, USA, ACM, (2009)
E. Sandes, and A. de Melo. Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel computing, page 137--146. New York, NY, USA, ACM, (2010)