Tag: memory consistency models

• Publications 2026.08.04

  Publications 2026.08.04

  Compositional Concurrent Program Logic for Timestamp Semantics Compositional Concurrent Program Logic for Timestamp Semantics

  Tatsuya Abe. Compositional Concurrent Program Logic for Timestamp Semantics. JSSST Computer Software, 43(3):24...

  memory consistency modelsprogram logic

• 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...

  model checkingmemory consistency modelsbisimulationoperational semanticsdata race freedom

• 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...

  model checkingmemory consistency models

• 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...

  memory consistency modelsmodel checkingprogram verification

• 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...

  program verificationmemory consistency modelsmodel checking

• 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...

  memory consistency modelsmodel checkingprogram verificationgarbage collection

• 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...

  memory consistency models

• Blog 2017.10.17

  

  Blog 2017.10.17

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

  情報処理学会の 2017 年度 (平成 29 年度) 山下記念研究賞を安部達也上席研究員が受賞することになりました。山下記念研究賞は、情報処理学会の研究会やシンポジウムでの発表論文の中から特に優秀な論文の発表者に授与され...

  memory consistency modelsaward

• 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...

  program logiclogicmemory consistency models

• 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...

  logicprogram logicmemory consistency models