memory consistency models | STAIR: Software Technology and Artificial Intelligence Research Laboratory

tag: memory consistency models

2018.06.17
Local Data Race Freedom with Non-Multi-Copy Atomicity Local Data Race Freedom with Non-Multi-Copy Atomicity

memory consistency models, model checking, bisimulation, data race freedom, operational semantics
2018.03.15
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN

memory consistency models, model checking
2017.12.15
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models

memory consistency models, model checking, program verification
2017.11.12
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models

memory consistency models, model checking, program verification
2017.10.19
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models

model checking, program verification, garbage collection, memory consistency models
2017.10.17
山下記念研究賞 IPSJ Yamashita SIG Research Award

memory consistency models
2017.10.17
安部上席研究員が情報処理学会の山下記念研究賞を受賞 Dr. Tatsuya Abe wins IPSJ Yamashita SIG Research Award

award, memory consistency models
2017.02.15
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations

logic, program logic, memory consistency models
2016.10.09
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models

memory consistency models, program logic, logic
2016.10.06
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models

program verification, model checking, memory consistency models