Ryosuke Sato -

Registered user since Tue 11 Dec 2018

Name:Ryosuke Sato

Country:Japan

Affiliation:University of Tokyo, Japan

Personal website:http://www-kb.is.s.u-tokyo.ac.jp/~ryosuke/

Contributions

FLOPS 2022	Author of Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula within the FLOPS 2022-track
APLAS 2021	Author of Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination within the Research Papers-track
SAS 2021	Author of Symbolic Automatic Relations and Their Applications to SMT and CHC Solving within the SAS-track
APLAS 2020	Local Arrangement Chair in Organising Committee
PEPM 2019	Author of Combining Higher-Order Model Checking with Refinement Type Inference within the PEPM 2019-track
ICSE 2019	Author of Git-based Integrated Uncertainty Manager within the Demonstrations-track
PEPM 2017	Committee Member in Programme Committee Committee Member in Programme Committee within the PEPM 2017-track
* ICSE 2018 *	Author of Poster T26: Exploring Uncertainty in GitHub OSS Projects within the Posters -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