Category: kanon
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.
- Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara and Youyou Cong. “Efficient Object Graph Recording with Truffle for Live Data-Structure Programming.”
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(*).
Talk on Polyglot Live Programming at IPSJ-PRO
The following work will be presented at the 135th IPSJ workshop on programming.
Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong. A language-agnostic approach to collecting object graphs based on a language implementation framework
Paper & Poster presentation at PPL’21
Paper
The following paper will be presented at PPL’21.
- Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework (Izawa, Masuhara) (published at DLS’20)
- A Functional Abstraction of Typed Trails (Kenichi Asai, Cong, Chiaki Ishio) (published at PEPM’20)
Posters & Demos
The following posters & demos will be presented at PPL’21.
- ライブデータ構造プログラミングの大規模データ利用のための改善 (Ogushi, Masuhara）
- Effekt言語の双方向エフェクトによる拡張 (Niimi, Cong, Masuhara)
- デザインレシピに基づいたプログラミングための開発環境の構築に向けて (Nose, Cong, Masuhara)
Posters
The following posters will be presented at PPL’21.
- An Agda Formalization of Counterpoint (Cong)
- An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (Izawa, Masuhara, Cong)
- 代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明 (Ikemori, Cong, Masuhara)
- Koka言語に対するエフェクト割り当て最適化 (Furudono, Cong, Masuhara)
- 汎言語的ライブプログラミング環境のためのデータ構造解析手法 (Takahashi, Izawa, Masuhara, Cong)