The Community for Technology Leaders
2014 47th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) (2014)
Cambridge, United Kingdom
Dec. 13, 2014 to Dec. 17, 2014
ISSN: 1072-4451
ISBN: 978-1-4799-6998-2

[Front cover] (PDF)

pp. C4

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Copyright Page (PDF)

pp. iv

Table of Contents (PDF)

pp. v-ix

Program Committee (PDF)

pp. xiv-xv

Keynote Abstracts (PDF)

pp. xx-xxii

PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models (Abstract)

Daniel Lustig , Princeton Univ., Princeton, NJ, USA
Michael Pellauer , VSSAD Group, Intel Corp., Hudson, MA, USA
Margaret Martonosi , Princeton Univ., Princeton, NJ, USA
pp. 635-646

Author Index (PDF)

pp. 672-674
85 ms
(Ver 3.3 (11022016))