Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev. Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated. In Thomas Ball, Mooly Sagiv, editors, Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011. pages 487-498, ACM, 2011. [doi]

This author has not been identified. Look up 'Hagit Attiya' in GoogleThis author has not been identified. Look up 'Rachid Guerraoui' in GoogleThis author has not been identified. Look up 'Danny Hendler' in GoogleThis author has not been identified. Look up 'Petr Kuznetsov' in GoogleThis author has not been identified. Look up 'Maged M. Michael' in GoogleThis author has not been identified. Look up 'Martin T. Vechev' in Google

runs on WebDSL