Ryosuke Sato -

Registered user since Tue 11 Dec 2018

Name:Ryosuke Sato

Country:Japan

Affiliation:Tokyo University of Agriculture and Technology

Personal website: https://ryosu-sato.github.io/

Contributions

2024

APLAS

Publicity Co-Chair in Organizing Committee within the Research Papers-track
Publicity Co-Chair in Organizing Committee
Author of Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem within the Research Papers-track

ICFP

PC Member in ICFP Papers and Events within the ICFP Papers and Events-track

VMCAI

Author of Borrowable Fractional Ownership Types for Verification within the VMCAI 2024-track

PEPM

Author of Productivity Verification for Functional Programs by Reduction to Termination Verification within the PEPM 2024-track

2023

APLAS

ICFP

Author of Higher-Order Property-Directed Reachability within the ICFP Papers and Events-track

POPL

Author of HFL(Z) Validity Checking for Automated Program Verification within the POPL-track

2022

SPLASH

Author of Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination within the COVID Time Papers In Person-track

Static Analysis Symposium

Author of Parameterized Recursive Refinement Types for Automated Program Verification within the SAS-track

FLOPS

Author of Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula within the FLOPS 2022-track

2021

Static Analysis Symposium

Author of Symbolic Automatic Relations and Their Applications to SMT and CHC Solving within the SAS-track

APLAS

Author of Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination within the Research Papers-track

2020

APLAS

Local Arrangement Chair in Organising Committee

2019

ICSE

Author of Git-based Integrated Uncertainty Manager within the Demonstrations-track

PEPM

Author of Combining Higher-Order Model Checking with Refinement Type Inference within the PEPM 2019-track

2018

ICSE

Author of Poster T26: Exploring Uncertainty in GitHub OSS Projects within the Posters -track

2017

PEPM

2016

ICFP

Author of Automatically Disproving Fair Termination of Higher-Order Functional Programs within the Research Papers-track

POPL

Author of Temporal Verification of Higher-order Functional Programs within the Research Papers-track

2015

PEPM

Author of Verifying Relational Properties of Functional Programs by First-Order Refinement within the PEPM 2015-track