Follow
Tatsuya Abe
Tatsuya Abe
STAIR Lab, Chiba Institute of Technology
Verified email at stair.center - Homepage
Title
Cited by
Cited by
Year
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
182017
Reducing state explosion for software model checking with relaxed memory consistency models
T Abe, T Ugawa, T Maeda, K Matsumoto
Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016
112016
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
92017
Observation-based concurrent program logic for relaxed memory consistency models
T Abe, T Maeda
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016
92016
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
92013
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
82017
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
82012
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
72020
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
72014
Xcrypt: a perl extension for job level parallel programming
T Hiraishi, T Abe, T Iwashita, H Nakashima
Proceedings of the WHIST, 2012
72012
Model Checking with User-Definable Memory Consistency Models
T Abe, T Maeda
7th International Conference on PGAS Programming Models, 225, 2013
62013
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
42013
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
32018
Completeness of modal proofs in first-order predicate logic
T Abe
Computer Software 24 (4), 165-177, 2007
32007
Reordering control approaches to state explosion in model checking with memory consistency models
T Abe, T Ugawa, T Maeda
Verified Software. Theories, Tools, and Experiments: 9th International …, 2017
22017
A verifier of directed acyclic graphs for model checking with memory consistency models
T Abe
Hardware and Software: Verification and Testing: 13th International Haifa …, 2017
22017
柔軟かつ直観的な記述が可能なジョブ並列スクリプト言語 Xcrypt
平石拓, 安部達也, 三宅洋平, 岩下武史, 中島浩
先進的計算基盤システムシンポジウム SACSIS2010 論文集 2010 (5), 183-191, 2010
22010
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
22008
A typed lambda-calculus with first-class configurations
T Abe, D Kimura
Journal of Logic and Computation 33 (7), 1527-1565, 2023
12023
The System SOL: Second-Order Laboratory
M Hamana, T Abe, Y Murase, K Sakaguchi
6th International Workshop on Confluence, 79, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20