Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ken Sakayori
conf.researchr.org general profile
APLAS 2024 profile
ETAPS 2019 profile
ICFP 2022 profile
ICFP 2023 profile
POPL 2024 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Sat 6 Apr 2019
Name:
Ken Sakayori
Country:
Japan
Affiliation:
University of Tokyo
Contributions
2024
APLAS
Author of Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem within the Research Papers-track
VMCAI
Author of Borrowable Fractional Ownership Types for Verification within the VMCAI 2024-track
PEPM
Author of Ownership Types for Verification of Programs with Pointer Arithmetic within the PEPM 2024-track
2023
ICFP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-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
ICFP
Italy in Evaluators within the Artifact Evaluation-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
2019
ESOP
Author of A Categorical Model of an i/o-typed pi-calculus within the ESOP 2019-track
Share
x
Fri 4 Oct 00:24