Automatic inference of memory fences - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Kuperstein, Martin T. Vechev, Eran Yahav. Automatic inference of memory fences. In Roderick Bloem, Natasha Sharygina, editors, Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. pages 111-119, IEEE, 2010. [doi]

This author has not been identified. Look up 'Michael Kuperstein' in GoogleThis author has not been identified. Look up 'Martin T. Vechev' in GoogleThis author has not been identified. Look up 'Eran Yahav' in Google

runs on WebDSL