Tatsuya Abe
Tatsuya Abe
STAIR Lab, Chiba Institute of Technology
Verified email at - Homepage
Cited by
Cited by
A general model checking framework for various memory consistency models
T Abe, T Maeda
International Journal on Software Tools for Technology Transfer 19 (5), 623-647, 2017
Concurrent program logic for relaxed memory consistency models with dependencies across loop iterations
T Abe, T Maeda
Journal of Information Processing 25, 244-255, 2017
Model checking stencil computations written in a partitioned global address space language
T Abe, T Maeda, M Sato
2013 IEEE International Symposium on Parallel & Distributed Processing …, 2013
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
T Abe, T Maeda
Asian Symposium on Programming Languages and Systems, 63-84, 2016
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
T Abe, T Ugawa, T Maeda, K Matsumoto
International Symposium on Dependable Software Engineering: Theories, Tools …, 2016
Model checking with user-definable abstraction for partitioned global address space languages
T Abe, T Maeda, M Sato
Proceedings of the 6th Conference on Partitioned Global Address Space …, 2012
Optimization of a general model checking framework for various memory consistency models
T Abe, T Maeda
Proceedings of the 8th International Conference on Partitioned Global …, 2014
Model Checking with User-Definable Memory Consistency Models
T Abe, T Maeda
7th International Conference on PGAS Programming Models, 225, 2013
Xcrypt: a perl extension for job level parallel programming
T Hiraishi, T Abe, T Iwashita, H Nakashima
Proceedings of the WHIST, 2012
Model checking copy phases of concurrent copying garbage collection with various memory models
T Ugawa, T Abe, T Maeda
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
Polymorphic computation systems: Theory and practice of confluence with call-by-value
M Hamana, T Abe, K Kikuchi
Science of Computer Programming 187, 102322, 2020
Auto-tuning of Numerical Programs by Block Multi-color Ordering Code Generation and Job-Level Parallel Execution
T Abe, M Sato
High Performance Computing for Computational Science-VECPAR 2012, 404-419, 2013
Completeness of modal proofs in first-order predicate logic
T Abe
Computer Software 24 (4), 165-177, 2007
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN
K Matsumoto, T Ugawa, T Abe
Journal of Information Processing 26, 314-326, 2018
Reordering control approaches to state explosion in model checking with memory consistency models
T Abe, T Ugawa, T Maeda
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2017
柔軟かつ直観的な記述が可能なジョブ並列スクリプト言語 Xcrypt
平石拓, 安部達也, 三宅洋平, 岩下武史, 中島浩
先進的計算基盤システムシンポジウム SACSIS2010 論文集 2010 (5), 183-191, 2010
Formalization of system LSI specification and automatic generation of verification items
T Abe, T Higuchi, R Imai, Y Kinoshita, S Nakano, K Okamoto, M Saito, ...
Supplementary Proceedings of TESTCOM/FATES 2008, 75-76, 2008
A type system for data independence of loop iterations in a directive-based PGAS language
T Abe
Proceedings of the 16th ACM SIGPLAN International Conference on Managed …, 2019
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models
T Abe
Haifa Verification Conference, 51-66, 2017
Towards a Unified Verification Theory for Various Memory Consistency Models
T Abe, T Maeda
The system can't perform the operation now. Try again later.
Articles 1–20