Satoshi Kura (内藏 理史)
- JSPS overseas research fellow (visiting researcher in the University of Oxford hosted by Sam Staton)
- Project researcher in National Institute of Informatics (hosted by Ichiro Hasuo)
orcid researchmap Research Interests
- category theory
- computational effects
- probabilistic systems
Papers
dblp - Satoshi Kura, Hiroshi Unno, and Ichiro Hasuo.
Decision Tree Learning in CEGIS-Based Termination Analysis.
Proc. of CAV 2021.
[doi | arxiv | implementation] - Satoshi Kura.
A Generic Semantic Construction of Dependent Refinement Type Systems, Categorically.
Proc. of FoSSaCS 2021.
[doi | arXiv] - Satoshi Kura.
Graded Algebraic Theories.
Proc. of FoSSaCS 2020.
[doi | arXiv] - Satoshi Kura, Natsuki Urabe, and Ichiro Hasuo.
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.
Proc. of TACAS 2019.
[doi | arXiv | implementation]
Theses
- Satoshi Kura.
Semantic Refinements for Program Verification.
PhD thesis, The Graduate University for Advanced Studies (SOKENDAI), 2022.
Supervisor: Ichiro Hasuo. - Satoshi Kura.
Algebraic Theories for Graded Monads.
MSc thesis, University of Tokyo, 2019.
Supervisor: Masami Hagiya. - Satoshi Kura.
Predicate Transformers for the Second Moment of Runtime of Recursive Probabilistic Programs.
BSc thesis, University of Tokyo, 2017.
Talks
- Decision Tree Learning in CEGIS-Based Termination Analysis.
CAV 2021, Los Angeles, California, USA online. July 22, 2021.
Slides: pdf (5 min), pdf (25 min), video - Graded Algebraic Theories.
FoSSaCS 2020, Dublin, Ireland online. March 30, 2021.
Slides: pdf - A Generic Semantic Construction of Dependent Refinement Type Systems, Categorically.
FoSSaCS 2021, Luxembourg, Luxembourg online. March 29, 2021.
Slides: pdf - A Generic Semantic Construction of Dependent Refinement Type Systems, Categorically.
PPL 2021, online. March 10, 2021.
Slides: pdf - Graded Algebraic Theories.
JSSST 2020, online. September 08, 2020.
Slides: pdf - Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.
TACAS 2019, Prague, Czech Republic. April 10, 2019.
Slides: pdf, slideshare