Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mirai Ikebuchi
conf.researchr.org general profile
APLAS 2024 profile
ICFP 2016 profile
ICFP/SPLASH 2025 profile
POPL 2022 profile
SPLASH 2023 profile
Registered user since Wed 12 Jan 2022
Name:
Mirai Ikebuchi
Country:
Japan
Affiliation:
Kyoto University
Contributions
2025
ML
Committee Member in Program Committee within the ML Family Workshop 2025-track
2024
APLAS
Committee Member in Program Committee within the Research Papers-track
Publicity Co-Chair in Organizing Committee within the Research Papers-track
Publicity Co-Chair in Organizing Committee
2023
SPLASH
Committee Member in Reviewers within the Student Research Competition-track
2022
POPL
Author of Certifying Derivation of State Machines from Coroutines within the POPL-track
2016
CUFP
Committee Member in Program Committee within the CUFP-track
Share
x
Sat 24 May 15:11
