Category: effects
Konishi Received PPL 2025 Sponsors Choice Award
Konishi received the sponsors choice award for her PPL 2025 poster presentation titled “An Abstract-Machine-Based Visualization for Supporting Learning of Delimited Continuations”.
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.)
Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings
The following paper will appear in the post-proceedings of the 36th Symposium on Implementation and Application of Functional Languages (IFL 2024).
- Youyou Cong, Hironori Kawazoe, and Hidehiko Masuhara. A Mostly CPS, Partly ANF Translation of Dependent Types.
Hayashi, Yoshio, Inaba, Kumamoto, Matsuyama and Konishi presented Bachelor’s Theses
The six undergraduate members presented their Bachelor’s theses.
PEPM 2024 Paper on Intrinsically-typed Compiler for Effect Handlers
A paper entitled “An Intrinsically Typed Compiler for Algebraic Effect Handlers”, authored by Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara, is accepted by PEPM2024(The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation) which is held in London, UK on January 2024.
Talk on CPS Translation for Dependently Typed Languages (@ PEPM 2024)
Cong will give a talk titled “One-Pass CPS Translation of Dependent Types” at PEPM 2024, co-located with POPL 2024.
PPDP Paper on Expressiveness of Effect Handlers
A paper entitled “Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators”, authored by Kazuki Ikemori, Youyou Cong and Hidehiko Masuhara, is accepted by the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023). The paper shows equivalence of expressiveness between effect handlers and delimited control operators in a setting where handlers and delimited continuations are distinguished by labels. The paper will be/was presented at the symposium held as a part of the SPLASH 2023 conference at Cascais, Portugal in October 2023.
Talk on Designing a Language for Learning Continuations (@ Scheme 2023)
The following presentation has been accepted to Scheme 2023.
- Youyou Cong. Designing a Language for Learning Continuations.
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
Paper on Reflection for Effect Handlers (@ PEPM 2023)
The following paper was accepted to PEPM 2023.
Youyou Cong and Kenichi Asai. Towards a Reflection for Effect Handlers. PEPM 2023, Boston, MA, USA, January 2023.