Satoshi Kura

20 papers A* 1B 2Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
A Category-Theoretic Framework for Dependent Effect Systems.
ESOP (1)
Satoshi Kura, Marco Gaboardi, Taro Sekiyama, Hiroshi Unno
2026 J jnl
A Category-Theoretic Framework for Dependent Effect Systems.
CoRR
Satoshi Kura, Marco Gaboardi, Taro Sekiyama, Hiroshi Unno
2026 J jnl
On Complete Categorical Semantics for Effect Handlers.
CoRR
Satoshi Kura
2025 J jnl
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs.
CoRR
Kazuki Watanabe, Mayuko Kori, Taro Sekiyama, Satoshi Kura, Hiroshi Unno
2025 J jnl
A Hierarchy of Supermartingales for ω-Regular Verification.
CoRR
Satoshi Kura, Hiroshi Unno
2025 A* conf
Logical relations for call-by-push-value models, via internal fibrations in a 2-category.
LICS
Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville
2025 J jnl
Logical relations for call-by-push-value models, via internal fibrations in a 2-category.
CoRR
Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville
2025 J jnl
Ranking and Invariants for Lower-Bound Inference in Quantitative Verification of Probabilistic Programs.
CoRR
Satoshi Kura, Hiroshi Unno, Takeshi Tsukada
2024 J jnl
Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System.
CoRR
Satoshi Kura, Hiroshi Unno
2024 J jnl
Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System.
Proc. ACM Program. Lang.
Satoshi Kura, Hiroshi Unno
2023 J jnl
Higher-Order Weakest Precondition Transformers via a CPS Transformation.
CoRR
Satoshi Kura
2022 J jnl
Weakest preconditions in fibrations.
Math. Struct. Comput. Sci.
Alejandro Aguirre, Shin-ya Katsumata, Satoshi Kura
2021 B conf
A General Semantic Construction of Dependent Refinement Type Systems, Categorically.
FoSSaCS
Satoshi Kura
2021 — conf
Decision Tree Learning in CEGIS-Based Termination Analysis.
CAV (2)
Satoshi Kura, Hiroshi Unno, Ichiro Hasuo
2021 J jnl
Decision Tree Learning in CEGIS-Based Termination Analysis.
CoRR
Satoshi Kura, Hiroshi Unno, Ichiro Hasuo
2020 J jnl
General Semantic Construction of Dependent Refinement Type Systems, Categorically.
CoRR
Satoshi Kura
2020 B conf
Graded Algebraic Theories.
FoSSaCS
Satoshi Kura
2020 J jnl
Graded Algebraic Theories.
CoRR
Satoshi Kura
2019 — conf
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.
TACAS (2)
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
2018 J jnl
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.
CoRR
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo