Line-up: a complete and automatic linearizability checker - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan. Line-up: a complete and automatic linearizability checker. In Benjamin G. Zorn, Alexander Aiken, editors, Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. pages 330-340, ACM, 2010. [doi]

This author has not been identified. Look up 'Sebastian Burckhardt' in GoogleThis author has not been identified. Look up 'Chris Dern' in GoogleThis author has not been identified. Look up 'Madanlal Musuvathi' in GoogleThis author has not been identified. Look up 'Roy Tan' in Google

runs on WebDSL