On the verification problem for weak memory models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi. On the verification problem for weak memory models. In Manuel V. Hermenegildo, Jens Palsberg, editors, Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010. pages 7-18, ACM, 2010. [doi]

This author has not been identified. Look up 'Mohamed Faouzi Atig' in GoogleThis author has not been identified. Look up 'Ahmed Bouajjani' in GoogleThis author has not been identified. Look up 'Sebastian Burckhardt' in GoogleThis author has not been identified. Look up 'Madanlal Musuvathi' in Google

runs on WebDSL