Satoshi Kura

Orcid: 0000-0002-3954-8255

Affiliations:
  • National Institute of Informatics, Tokyo, Japan


According to our database1, Satoshi Kura authored at least 7 papers between 2019 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System.
Proc. ACM Program. Lang., 2024

2023
Higher-Order Weakest Precondition Transformers via a CPS Transformation.
CoRR, 2023

2022
Weakest preconditions in fibrations.
Math. Struct. Comput. Sci., April, 2022

2021
A General Semantic Construction of Dependent Refinement Type Systems, Categorically.
Proceedings of the Foundations of Software Science and Computation Structures, 2021

Decision Tree Learning in CEGIS-Based Termination Analysis.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Graded Algebraic Theories.
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


  Loading...