Pipe Check: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Lustig, Michael Pellauer, Margaret Martonosi. Pipe Check: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models. In 47th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2014, Cambridge, United Kingdom, December 13-17, 2014. pages 635-646, IEEE, 2014. [doi]

This author has not been identified. Look up 'Daniel Lustig' in GoogleThis author has not been identified. Look up 'Michael Pellauer' in GoogleThis author has not been identified. Look up 'Margaret Martonosi' in Google

runs on WebDSL