Cooperative reasoning for preemptive execution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jaeheon Yi' in GoogleThis author has not been identified. Look up 'Caitlin Sadowski' in GoogleThis author has not been identified. Look up 'Cormac Flanagan' in Google

runs on WebDSL