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
ICFP 2026 profile
ICFP/SPLASH 2025 profile
POPL 2024 profile
POPL 2026 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Sat 6 Apr 2019
Name:
Ken Sakayori
Country:
Japan
Affiliation:
University of Tokyo
Contributions
2026
HOPE
Committee Member in Program Committee within the HOPE 2026-track
POPL
Author of On Circuit Description Languages, Indexed Monads, and Resource Analysis within the POPL-track
2025
Static Analysis Symposium
Author of Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types within the SAS 2025-track
2024
APLAS
Committee Member in Judges within the SRC & Posters-track
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
Wed 22 Jul 18:30