memory consistency models Latest Research Papers

A Low Overhead Methodology for Validating Memory Consistency Models in Chip Multiprocessors

2020 33rd International Conference on VLSI Design and 2020 19th International Conference on Embedded Systems (VLSID) ◽

10.1109/vlsid49098.2020.00035 ◽

2020 ◽

Author(s):

Binod Kumar ◽

Swapniel Thakur ◽

Kanad Basu ◽

Masahiro Fujita ◽

Virendra Singh

Keyword(s):

Chip Multiprocessors ◽

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

PrideMM: Second Order Model Checking for Memory Consistency Models

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_31 ◽

2020 ◽

pp. 507-525

Author(s):

Simon Cooksey ◽

Sarah Harris ◽

Mark Batty ◽

Radu Grigore ◽

Mikoláš Janota

Keyword(s):

Model Checking ◽

Second Order ◽

Memory Consistency ◽

Order Model ◽

Memory Consistency Models ◽

Consistency Models ◽

Second Order Model

Download Full-text

ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

2018 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2018.8603015 ◽

2018 ◽

Cited By ~ 1

Author(s):

Hongce Zhang ◽

Caroline Trippel ◽

Yatin A. Manerkar ◽

Aarti Gupta ◽

Margaret Martonosi ◽

...

Keyword(s):

Heterogeneous System ◽

System On Chip ◽

Memory Consistency ◽

Memory Consistency Models ◽

On Chip ◽

Consistency Models

Download Full-text

Using temporal logics for specifying weak memory consistency models

International Journal of Critical Computer-Based Systems ◽

10.1504/ijccbs.2018.096187 ◽

2018 ◽

Vol 8 (2) ◽

pp. 214

Author(s):

Maximilian Senftleben ◽

Klaus Schneider

Keyword(s):

Memory Consistency ◽

Temporal Logics ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

Using temporal logics for specifying weak memory consistency models

International Journal of Critical Computer-Based Systems ◽

10.1504/ijccbs.2018.10017374 ◽

2018 ◽

Vol 8 (2) ◽

pp. 214

Author(s):

Maximilian Senftleben ◽

Klaus Schneider

Keyword(s):

Memory Consistency ◽

Temporal Logics ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

Operational Characterization of Weak Memory Consistency Models

Lecture Notes in Computer Science - Architecture of Computing Systems – ARCS 2018 ◽

10.1007/978-3-319-77610-1_15 ◽

2018 ◽

pp. 195-208

Author(s):

M. Senftleben ◽

K. Schneider

Keyword(s):

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

Automatically comparing memory consistency models

ACM SIGPLAN Notices ◽

10.1145/3093333.3009838 ◽

2017 ◽

Vol 52 (1) ◽

pp. 190-204 ◽

Cited By ~ 4

Author(s):

John Wickerson ◽

Mark Batty ◽

Tyler Sorensen ◽

George A. Constantinides

Keyword(s):

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

Automatically comparing memory consistency models

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009838 ◽

2017 ◽

Cited By ~ 41

Author(s):

John Wickerson ◽

Mark Batty ◽

Tyler Sorensen ◽

George A. Constantinides

Keyword(s):

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations

Journal of Information Processing ◽

10.2197/ipsjjip.25.244 ◽

2017 ◽

Vol 25 (0) ◽

pp. 244-255 ◽

Cited By ~ 4

Author(s):

Tatsuya Abe ◽

Toshiyuki Maeda

Keyword(s):

Memory Consistency ◽

Program Logic ◽

Concurrent Program ◽

Memory Consistency Models ◽

Consistency Models ◽

Relaxed Memory

Download Full-text

A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_4 ◽

2017 ◽

pp. 51-66 ◽

Cited By ~ 1

Author(s):

Tatsuya Abe

Keyword(s):

Model Checking ◽

Directed Acyclic Graphs ◽

Memory Consistency ◽

Acyclic Graphs ◽

Memory Consistency Models ◽

Consistency Models ◽

With Memory

Download Full-text

memory consistency models
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

A Low Overhead Methodology for Validating Memory Consistency Models in Chip Multiprocessors

PrideMM: Second Order Model Checking for Memory Consistency Models

ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

Using temporal logics for specifying weak memory consistency models

Using temporal logics for specifying weak memory consistency models

Operational Characterization of Weak Memory Consistency Models

Automatically comparing memory consistency models

Automatically comparing memory consistency models

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations

A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models

Export Citation Format

memory consistency modelsRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

A Low Overhead Methodology for Validating Memory Consistency Models in Chip Multiprocessors

PrideMM: Second Order Model Checking for Memory Consistency Models

ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

Using temporal logics for specifying weak memory consistency models

Using temporal logics for specifying weak memory consistency models

Operational Characterization of Weak Memory Consistency Models

Automatically comparing memory consistency models

Automatically comparing memory consistency models

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations

A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models

memory consistency models
Recently Published Documents