Aaron Turon, Viktor Vafeiadis, Derek Dreyer. GPS: navigating weak memory with ghosts, protocols, and separation. In Andrew P. Black, Todd D. Millstein, editors, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 691-707, ACM, 2014. [doi]
Abstract is missing.