conf.researchr.org / Ryosuke Sato
Ryosuke Sato

Registered user since Tue 11 Dec 2018

Name: Ryosuke Sato

Country: Japan

Affiliation: Kyushu University, Japan

Personal website: https://posl.ait.kyushu-u.ac.jp/~sato/

Contributions

PEPM 2019Author of Combining Higher-Order Model Checking with Refinement Type Inference within the PEPM 2019-track
ICSE 2019Author of Git-based Integrated Uncertainty Manager within the Demonstrations-track
PEPM 2017Committee 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 2016Author of Automatically Disproving Fair Termination of Higher-Order Functional Programs within the Research Papers-track
POPL 2016Author of Temporal Verification of Higher-order Functional Programs within the Research Papers-track
PEPM 2015Author of Verifying Relational Properties of Functional Programs by First-Order Refinement within the PEPM 2015-track