Automatically comparing memory consistency models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides. Automatically comparing memory consistency models. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 190-204, ACM, 2017. [doi]

This author has not been identified. Look up 'John Wickerson' in GoogleThis author has not been identified. It may be one of the following persons:

Mark Batty

Look up 'Mark Batty' in GoogleThis author has not been identified. Look up 'Tyler Sorensen' in GoogleThis author has not been identified. Look up 'George A. Constantinides' in Google

runs on WebDSL