According to our database1, Tatsuya Abe authored at least 17 papers between 2004 and 2021.
Legend:Book In proceedings Article PhD thesis Other
A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction.
Polymorphic computation systems: Theory and practice of confluence with call-by-value.
Sci. Comput. Program., 2020
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
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN.
J. Inf. Process., 2018
Proceedings of the Model Checking Software - 25th International Symposium, 2018
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
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016
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
Model Checking Stencil Computations Written in a Partitioned Global Address Space Language.
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013
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
Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004