Satoshi Kura
Orcid: 0000-0002-3954-8255Affiliations:
- Waseda University, Faculty of Education and Integrated Arts and Sciences, Tokyo, Japan
- National Institute of Informatics, Tokyo, Japan (former)
- Graduate University for Advanced Studies (SOKENDAI), Hayama, Japan (former, PhD)
According to our database1,
Satoshi Kura
authored at least 10 papers
between 2019 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs.
CoRR, October, 2025
Ranking and Invariants for Lower-Bound Inference in Quantitative Verification of Probabilistic Programs.
CoRR, April, 2025
Logical relations for call-by-push-value models, via internal fibrations in a 2-category.
Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025
2024
Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System.
Proc. ACM Program. Lang., 2024
2023
2022
2021
Proceedings of the Foundations of Software Science and Computation Structures, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
2019
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019