• Sign in
  • Sign up
conf.researchr.org / Keigo Imai
  • FLOPS 2022 profile
  • ICFP 2021 profile
  • ICFP/SPLASH 2025 profile
  • SPLASH 2020 profile
Keigo Imai

Registered user since Thu 2 Jun 2016

Name:Keigo Imai
Country:Japan
Affiliation:DeNA Co., Ltd.
Personal website: https://keigoimai.info/
X (Twitter): https://x.com/keigoi
GitHub: https://github.com/keigoi
Research interests:Concurrency, Behavioural types, Session types, Process calculi, Programming languages

Contributions

2025

ML

  • Committee Member in Program Committee within the ML Family Workshop 2025-track

2022

FLOPS

  • Organization Co-chair in Organizing Committee
  • Committee Member in Organizing Committee within the AiDL 2022-track

2021

ML

  • Author of Verifying Multiparty Communication Protocols using ML Type Systems within the ML 2021-track

2020

SPLASH

  • Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track

ECOOP

  • Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track
  • Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track
  • Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track
Share
xFri 16 May 10:21
using conf.researchr.org (v1.69.0)
Support page
Sign Up