Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kanae Tsushima
conf.researchr.org general profile
FLOPS 2024 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2022 profile
ICSE 2023 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2023 profile
Registered user since Mon 18 Jul 2016
Name:
Kanae Tsushima
Country:
Japan
Affiliation:
National Institute of Informatics, Japan
Contributions
2024
FLOPS
Committee Member in Programme Committee within the FLOPS 2024-track
2023
APR
Author of Beyond Code Generation: The Need for Type-Aware Language Models within the APR 2023-track
LOPSTR
Author of Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples within the LOPSTR 2023-track
SLE
Author of GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair within the SLE 2023-track
PEPM
Author of Towards Type Debugging using Partial Evaluation within the PEPM 2023-track
2022
miniKanren
Co-chair in Program Committee within the miniKanren 2022-track
ProLaLa
Committee Member in Program Committee within the ProLaLa Programming Languages and the Law-track
Author of Introduction of PROLEG (PROlog-based LEGal reasoning support system) within the ProLaLa Programming Languages and the Law-track
2020
miniKanren
Committee Member in Program Committee within the miniKanren 2020-track
2019
GPCE
Committee Member in Program Committee within the GPCE 2019-track
miniKanren
Committee Member in Program Committee within the miniKanren 2019-track
2018
GPCE
Committee Member in Program Committee within the GPCE 2018-track
OCaml
Committee Member in Program Committee within the OCaml 2018-track
2017
OCaml
Author of Component-based Program Synthesis in OCaml within the OCaml 2017-track
Share
x
Sun 15 Jun 03:40
