Tatsuya Abe

Orcid: 0000-0002-3887-0787

Affiliations:
  • Chiba Institute of Technology, Japan


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A typed lambda-calculus with first-class configurations.
J. Log. Comput., October, 2023

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

2021
An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing.
J. Inf. Process., 2021

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

2020
Polymorphic computation systems: Theory and practice of confluence with call-by-value.
Sci. Comput. Program., 2020

2019
A type system for data independence of loop iterations in a directive-based PGAS language.
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.
J. Inf. Process., 2018

Local Data Race Freedom with Non-multi-copy Atomicity.
Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017
A general model checking framework for various memory consistency models.
Int. J. Softw. Tools Technol. Transf., 2017

Model checking copy phases of concurrent copying garbage collection with various memory models.
Proc. ACM Program. Lang., 2017

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations.
J. Inf. Process., 2017

Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models.
Proceedings of the Hardware and Software: Verification and Testing, 2017

2016
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2014
Optimization of a General Model Checking Framework for Various Memory Consistency Models.
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.
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.
Proceedings of the High Performance Computing for Computational Science, 2012

On-the-Fly Synchronization Checking for Interactive Programming in XcalableMP.
Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012

2008
Completeness of Modal Proofs in First-Order Predicate Logic.
Inf. Media Technol., 2008

2004
A Concurrent System of Multi-ported Processes with Causal Dependency.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004


  Loading...