Satoshi Kura -

Registered user since Mon 4 Sep 2023

Name:Satoshi Kura

Country:Japan

Affiliation:Waseda University

Personal website: https://researchmap.jp/skura

Contributions

2024

ICFP

Author of Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System within the ICFP Papers and Events-track
Author of Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System within the Artifact Evaluation-track

2023

HOPE

Author of Higher-Order Weakest Precondition Transformers via a CPS Transformation within the HOPE 2023-track