• Sign in
  • Sign up
conf.researchr.org / Ryosuke Sato
  • * ICSE 2018 * profile
  • APLAS 2020 profile
  • FLOPS 2022 profile
  • ICFP 2016 profile
  • ICSE 2019 profile
  • PEPM 2015 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • SPLASH 2021 profile
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

Share
xFri 27 May 14:47
using conf.researchr.org (v1.55.6)
Support page
Sign Up