Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mirai Ikebuchi
conf.researchr.org general profile
ICFP 2016 profile
POPL 2022 profile
SPLASH 2023 profile
Registered user since Wed 12 Jan 2022
Name:
Mirai Ikebuchi
Country:
Japan
Affiliation:
Kyoto University
Contributions
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
Wed 6 Dec 12:13