Tag: memory consistency models
Showing 10 posts
-
Publications 2018.06.17
Publications 2018.06.17
Local Data Race Freedom with Non-Multi-Copy Atomicity Local Data Race Freedom with Non-Multi-Copy Atomicity
Tatsuya Abe. Local Data Race Freedom with Non-Multi-Copy Atomicity. In Proceedings of SPIN, volume 10869 of Le...memory consistency modelsmodel checkingbisimulationdata race freedomoperational semantics
-
Publications 2018.03.15
Publications 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
Kosuke Matsumoto, Tomoharu Ugawa, and Tatsuya Abe. Improvement of a Library for Model Checking under Weakly Or... -
Publications 2017.12.15
Publications 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
Tatsuya Abe, Tomoharu Ugawa, and Toshiyuki Maeda. Reordering control approaches to state explosion in model ch... -
Publications 2017.11.12
Publications 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
Tatsuya Abe. A verifier of directed acyclic graphs for model checking with memory consistency models. In Proce... -
Publications 2017.10.19
Publications 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
Tomoharu Ugawa, Tatsuya Abe, and Toshiyuki Maeda. Model checking copy phases of concurrent copying garbage col...model checkingprogram verificationgarbage collectionmemory consistency models
-
Honors / Awards 2017.10.17
Honors / Awards 2017.10.17
山下記念研究賞 IPSJ Yamashita SIG Research Award
安部 達也 2017年度 (平成29年度) 山下記念研究賞 一般社団法人 情報処理学会 Tatsuya Abe 2017 IPSJ Yamashita SIG Research Award Information Pro... -
Blog 2017.10.17
Blog 2017.10.17
安部上席研究員が情報処理学会の山下記念研究賞を受賞 Dr. Tatsuya Abe wins IPSJ Yamashita SIG Research Award
情報処理学会の 2017 年度 (平成 29 年度) 山下記念研究賞を安部達也上席研究員が受賞することになりました。山下記念研究賞は、情報処理学会の研究会やシンポジウムでの発表論文の中から特に優秀な論文の発表者に授与され... -
Publications 2017.02.15
Publications 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
Tatsuya Abe and Toshiyuki Maeda. Concurrent program logic for relaxed memory consistency models with dependenc... -
Publications 2016.10.09
Publications 2016.10.09
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
Tatsuya Abe and Toshiyuki Maeda. Observation-based concurrent program logic for relaxed memory consistency mod... -
Publications 2016.10.06
Publications 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
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, and Kousuke Matsumoto. Reducing state explosion for software mod...