Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek. A Type System for Data-Centric Synchronization. In Theo D Hondt, editor, ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. Volume 6183 of Lecture Notes in Computer Science, pages 304-328, Springer, 2010. [doi]