Tatsuya Abe

According to our database, Tatsuya Abe authored at least 21 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A typed lambda-calculus with first-class configurations.

Tatsuya Abe, Daisuke Kimura

J. Log. Comput., October, 2023

Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding.

Tatsuya Abe, Daisuke Kimura

FLAP, 2023

2021

An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing.

Tatsuya Abe, Tasuku Hiraishi

J. Inf. Process., 2021

A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction.

Tatsuya Abe, Daisuke Kimura

CoRR, 2021

2020

Polymorphic computation systems: Theory and practice of confluence with call-by-value.

Makoto Hamana, Tatsuya Abe, Kentaro Kikuchi

Sci. Comput. Program., 2020

2019

A type system for data independence of loop iterations in a directive-based PGAS language.

Tatsuya Abe

Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2019

2018

Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN.

Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe

J. Inf. Process., 2018

Local Data Race Freedom with Non-multi-copy Atomicity.

Tatsuya Abe

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017

A general model checking framework for various memory consistency models.

Tatsuya Abe, Toshiyuki Maeda

Int. J. Softw. Tools Technol. Transf., 2017

Model checking copy phases of concurrent copying garbage collection with various memory models.

Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda

Proc. ACM Program. Lang., 2017

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations.

Tatsuya Abe, Toshiyuki Maeda

J. Inf. Process., 2017

Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models.

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models.

Tatsuya Abe

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models.

Tatsuya Abe, Toshiyuki Maeda

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2014

Optimization of a General Model Checking Framework for Various Memory Consistency Models.

Tatsuya Abe, Toshiyuki Maeda

Proceedings of the 8th International Conference on Partitioned Global Address Space Programming Models, 2014

2013

Model Checking Stencil Computations Written in a Partitioned Global Address Space Language.

Tatsuya Abe, Toshiyuki Maeda, Mitsuhisa Sato

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

2012

Auto-tuning of Numerical Programs by Block Multi-color Ordering Code Generation and Job-Level Parallel Execution.

Tatsuya Abe, Mitsuhisa Sato

Proceedings of the High Performance Computing for Computational Science, 2012

On-the-Fly Synchronization Checking for Interactive Programming in XcalableMP.

Tatsuya Abe, Mitsuhisa Sato

Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012

2008

Completeness of Modal Proofs in First-Order Predicate Logic.

Tatsuya Abe

Inf. Media Technol., 2008

2004

A Concurrent System of Multi-ported Processes with Causal Dependency.

Tatsuya Abe

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004