Satoshi Kura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | A Category-Theoretic Framework for Dependent Effect Systems. | Satoshi Kura, Marco Gaboardi, Taro Sekiyama, Hiroshi Unno |
| 2025 | LICS | Logical relations for call-by-push-value models, via internal fibrations in a 2-category. | Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville |
| 2021 | CAV | Decision Tree Learning in CEGIS-Based Termination Analysis. | Satoshi Kura, Hiroshi Unno, Ichiro Hasuo |
| 2021 | FOSSACS | A General Semantic Construction of Dependent Refinement Type Systems, Categorically. | Satoshi Kura |
| 2020 | FOSSACS | Graded Algebraic Theories. | Satoshi Kura |
| 2019 | TACAS | Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. | Satoshi Kura, Natsuki Urabe, Ichiro Hasuo |