Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yasunari Watanabe
conf.researchr.org general profile
ICFP 2021 profile
ICFP/SPLASH 2025 profile
SPLASH 2022 profile
Registered user since Sat 15 May 2021
Name:
Yasunari Watanabe
Country:
Japan
Affiliation:
Ahrefs
Personal website:
https://yasunari.net
Contributions
2025
OCaml
Co-chair in Program Committee within the OCaml 2025-track
2022
SPLASH
Author of Certifying the Synthesis of Heap-Manipulating Programs within the COVID Time Papers In Person-track
2021
ICFP
Author of Certifying the Synthesis of Heap-Manipulating Programs within the Research Papers-track
Share
x
Mon 27 Oct 09:54
