PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications

2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) ◽

10.1109/micro.2018.00069 ◽

2018 ◽

Cited By ~ 4

Author(s):

Yatin A. Manerkar ◽

Daniel Lustig ◽

Margaret Martonosi ◽

Aarti Gupta

Keyword(s):

Memory Consistency ◽

Consistency Proofs

Download Full-text

Fast and Generalized Polynomial Time Memory Consistency Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/11817963_46 ◽

2006 ◽

pp. 503-516 ◽

Cited By ~ 25

Author(s):

Amitabha Roy ◽

Stephan Zeisset ◽

Charles J. Fleckenstein ◽

John C. Huang

Keyword(s):

Polynomial Time ◽

Memory Consistency ◽

Generalized Polynomial ◽

Consistency Verification

Download Full-text

Fast complete memory consistency verification

2009 IEEE 15th International Symposium on High Performance Computer Architecture ◽

10.1109/hpca.2009.4798276 ◽

2009 ◽

Cited By ~ 17

Author(s):

Yunji Chen ◽

Yi Lv ◽

Weiwu Hu ◽

Tianshi Chen ◽

Haihua Shen ◽

...

Keyword(s):

Memory Consistency ◽

Consistency Verification

Download Full-text

Retrospective: memory consistency and event ordering in scalable shared-memory multiprocessors

25 years of the international symposia on Computer architecture (selected papers) - ISCA '98 ◽

10.1145/285930.285957 ◽

1998 ◽

Cited By ~ 4

Author(s):

Kourosh Gharachorloo

Keyword(s):

Shared Memory ◽

Retrospective Memory ◽

Memory Consistency ◽

Shared Memory Multiprocessors ◽

Event Ordering

Download Full-text

Vertical Reuse Strategy for Testbench Components Supporting Memory Consistency Checking of an SMP-Capable AMD64 Processor

2008 Ninth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2008.24 ◽

2008 ◽

Author(s):

Joseph W. Lyles Jr.

Keyword(s):

Consistency Checking ◽

Memory Consistency

Download Full-text

McVerSi: A test generation framework for fast memory consistency verification in simulation

2016 IEEE International Symposium on High Performance Computer Architecture (HPCA) ◽

10.1109/hpca.2016.7446099 ◽

2016 ◽

Cited By ~ 16

Author(s):

Marco Elver ◽

Vijay Nagarajan

Keyword(s):

Test Generation ◽

Memory Consistency ◽

Consistency Verification ◽

Fast Memory

Download Full-text

A performance study of memory consistency models

[1992] Proceedings the 19th Annual International Symposium on Computer Architecture ◽

10.1145/139669.139674 ◽

1992 ◽

Cited By ~ 19

Author(s):

Richard N. Zucker ◽

Jean-Loup Baer

Keyword(s):

Memory Consistency ◽

Performance Study ◽

Memory Consistency Models ◽

Consistency Models ◽

A Performance

Download Full-text

On-the-fly Verification of Memory Consistency with Concurrent Relaxed Scoreboards

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 ◽

10.7873/date.2013.138 ◽

2013 ◽

Cited By ~ 5

Author(s):

Leandro S. Freitas ◽

Eberle A. Rambo ◽

Luiz C. V. dos Santos

Keyword(s):

Memory Consistency

Download Full-text

Memory Consistency

Encyclopedia of Database Systems ◽

10.1007/978-0-387-39940-9_3040 ◽

2009 ◽

pp. 1707-1707

Keyword(s):

Memory Consistency

Download Full-text

Shared Memory Consistency Models: A Tutorial

10.21236/ada638015 ◽

1995 ◽

Cited By ~ 36

Author(s):

Sarita V. Adve ◽

Kourosh Gharachorloo

Keyword(s):

Shared Memory ◽

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

A proposal for a UPC memory consistency model, v1.0

10.2172/823757 ◽

2004 ◽

Cited By ~ 1

Author(s):

Katherine Yelick ◽

Dan Bonachea ◽

Charles Wallace

Keyword(s):

Memory Consistency ◽

Consistency Model ◽

Memory Consistency Model

Download Full-text