Tatsuya Abe

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 16

Top Topics

Reactive Systems

Formal Specification

Temporal Properties

Top Venues

J. Inf. Process.

Int. J. Softw. Tools Technol. Transf.

Publications

Tatsuya Abe, Daisuke Kimura
Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding. FLAP 10 (4) (2023)
Tatsuya Abe, Daisuke Kimura
A typed lambda-calculus with first-class configurations. J. Log. Comput. 33 (7) (2023)
Tatsuya Abe, Tasuku Hiraishi
An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing. J. Inf. Process. 29 (2021)
Tatsuya Abe, Daisuke Kimura
A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction. CoRR (2021)
Makoto Hamana, Tatsuya Abe, Kentaro Kikuchi
Polymorphic computation systems: Theory and practice of confluence with call-by-value. Sci. Comput. Program. 187 (2020)
Tatsuya Abe
A type system for data independence of loop iterations in a directive-based PGAS language. MPLR (2019)
Tatsuya Abe
Local Data Race Freedom with Non-multi-copy Atomicity. SPIN (2018)
Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN. J. Inf. Process. 26 (2018)
Tatsuya Abe
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models. Haifa Verification Conference (2017)
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models. VSTTE (2017)
Tatsuya Abe, Toshiyuki Maeda
A general model checking framework for various memory consistency models. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda
Model checking copy phases of concurrent copying garbage collection with various memory models. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Tatsuya Abe, Toshiyuki Maeda
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations. J. Inf. Process. 25 (2017)
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. SETTA (2016)
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. CoRR (2016)
Tatsuya Abe, Toshiyuki Maeda
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. APLAS (2016)
Tatsuya Abe, Toshiyuki Maeda
Optimization of a General Model Checking Framework for Various Memory Consistency Models. PGAS (2014)
Tatsuya Abe, Toshiyuki Maeda
A General Model Checking Framework for Various Memory Consistency Models. IPDPS Workshops (2014)
Tatsuya Abe, Toshiyuki Maeda, Mitsuhisa Sato
Model Checking Stencil Computations Written in a Partitioned Global Address Space Language. IPDPS Workshops (2013)
Tatsuya Abe, Mitsuhisa Sato
On-the-Fly Synchronization Checking for Interactive Programming in XcalableMP. ICPP Workshops (2012)
Tatsuya Abe, Mitsuhisa Sato
Auto-tuning of Numerical Programs by Block Multi-color Ordering Code Generation and Job-Level Parallel Execution. VECPAR (2012)
Tatsuya Abe
A Concurrent System of Multi-ported Processes with Causal Dependency. APLAS (2004)