• Sign in
  • Sign up
conf.researchr.org / Ken Sakayori
  • 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
xThu 28 Sep 02:36
using conf.researchr.org (v1.61.3)
Support page
Sign Up