Category: kanon
Seven Posters/Demos at PPL2026
Our members presented posters and demos at the JSSST Workshop on Programming and Programming Languages (PPL2026) at Takamatsu, Kagawa. Among 108 presentations, all of our presentations successfully attracted many participants and had heated discussions.
(The list includes the posters presented by our collaborators.)
Hayashi, Yoshio and Cong Gave Talks at SIGPX 11
Hayashi, Yoshio, and Cong gave the following presentations at the 11th Workshop on SIGPX.
- Minami Hayashi “Trajectory-based Algorithm Visualization for Live Data-Structure Programming”
- Takuma Yoshio “Interactive Program Synthesis through Data Structure Manipulation”
- Youyou Cong “Report on Shonan Meeting No.233: Foundations of Computation and Creative Computing“
Sixteen Poster Presentations at PPL2025

We presented the following 16 posters at the JSSST Workshop on Programming and Programming Languages (PPL2025) at Gamagori, Aichi.
(The list includes the posters presented by our collaborators.)
Hayashi, Yoshio, Inaba, Kumamoto, Matsuyama and Konishi presented Bachelor’s Theses
The six undergraduate members presented their Bachelor’s theses.
Ikemori, Furudono and Takahashi present Master’s Theses

Our members presented their master’s theses.
- Kazuki Ikemori, Translation Between Effect Instances and Multi-prompt Control Operators
- Naoya Furudono, Formalizing Differential Execution
- Shusuke Takahashi, Implementation of Live Programming Environmnet Based on Differential Execution Using Evaluation History
Takahashi Received IPSJ Computer Science Research Award for Young Scientists
Shusuke Takahashi received the 2022 IPSJ Computer Science Research Award for Young Scientists for his presentation on “An approach to collecting object graphs for data-structure live programming based on a language implementation framework“, presented at the 136th IPSJ Workshop on Programming.
Talk on Poly2Kanon at Truffle 2022
Shusuke Takahashi gave a talk on Poly2Kanon at the Truffle 2022 workshop, co-located with the ECOOP2022.
Journal Paper on Implementation of Kanon Live Programming Environment
Our paper entitled “An approach to collect object graphs for data-structure live programming based on a language implementation framework”, authored by Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara and Youyou Cong, was accepted by the IPSJ Transaction on Programming. The paper is also included in the IPSJ Journal of Information Processing (JIP).
The paper was presented at the 136th Workshop of IPSJ SIG Programming on November 1st, 2021.
Talks on an Implementation Technique for Live Programming Environments and on an Evaluation of a Native Image Compiler at IPSJ SIG PRO Workshop
At the 136th IPSJ SIG PRO Workshop, we present the following talks.
- Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong. An approach to collect object graphs for data-structure live programming based on a language implementation framework.
- This work is extended from the one presented at the previous round, and accepted for a journal publication.
- Yusuke Izawa, Michihiro Horie*, Kazunori Ogata*, Tatsuhiro Chiba*. An evaluation of the Quarkus framework with a Java static compiler.
- This work is based on the Izawa’s internship at IBM Research Tokyo(*).










