Tatsuya Abe

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