Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ken Sakayori
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2022 profile
ICFP 2023 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Sat 6 Apr 2019
Name:
Ken Sakayori
Country:
Japan
Affiliation:
The University of Tokyo
Contributions
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
Thu 28 Sep 02:36