Ryosuke Sato

Registered user since Tue 11 Dec 2018

Name:Ryosuke Sato
Country:Japan
Affiliation:University of Tokyo

Contributions

POPL 2023 Author of HFL(Z) Validity Checking for Automated Program Verification within the POPL-track
SPLASH 2022 Author of Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination within the COVID Time Papers In Person-track
SAS 2022 Author of Parameterized Recursive Refinement Types for Automated Program Verification within the SAS-track
FLOPS 2022
Author of Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula within the FLOPS 2022-track
SAS 2021 Author of Symbolic Automatic Relations and Their Applications to SMT and CHC Solving within the SAS-track
APLAS 2021 Author of Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination within the Research Papers-track
APLAS 2020 Local Arrangement Chair in Organising Committee
ICSE 2019 Author of Git-based Integrated Uncertainty Manager within the Demonstrations-track
PEPM 2019 Author of Combining Higher-Order Model Checking with Refinement Type Inference within the PEPM 2019-track
* ICSE 2018 * Author of Poster T26: Exploring Uncertainty in GitHub OSS Projects within the Posters -track
PEPM 2017 Committee Member in Programme Committee
Committee Member in Programme Committee within the PEPM 2017-track
ICFP 2016 Author of Automatically Disproving Fair Termination of Higher-Order Functional Programs within the Research Papers-track
POPL 2016 Author of Temporal Verification of Higher-order Functional Programs within the Research Papers-track
PEPM 2015 Author of Verifying Relational Properties of Functional Programs by First-Order Refinement within the PEPM 2015-track