Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan. Cooperative reasoning for preemptive execution. In Calin Cascaval, Pen-Chung Yew, editors, Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2011, San Antonio, TX, USA, February 12-16, 2011. pages 147-156, ACM, 2011. [doi]
Abstract is missing.