member – Programming Research Group

About member

View all posts by member

Kiuchi and Sakai gave presentations of their Master’s theses. They all deserved “the best eye contact presentation awards! 😉

Kumamoto presented his work on an dialog-based programming learning environment att he 41st JSSST Annual Conference.

Kouta Kumamoto, Youyou Cong, Hidehiko Masuhara. Development of an interactive learning environment to support the acquisition of program design skills.

Kazuhiro Tsunoda’s paper on “Tool Support for Making Enbugging Quiz Based on Code Minimization and Syntax-Directed Fuzzing Techniques”, co-authored with Hidehiko Masuhara and Youyou Cong is accepted by and presented at the 26th JSSST Workshop on Programming and Programming Languages (PPL2024).

The following posters were presented at the 26th JSSST Workshop on Programming and Programming Language 2024 held in Niigata, 5-7 March 2024.

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.

A paper “Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq” written by Saito and Affeldt is presented at The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023).

Kawazoe, Saito and Tsuyama presented their ongoing studies that use theorem provers at The 19th Theorem Proving and Provers meeting. Interestingly, they all use different systems (Lean, Coq and Agda).

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.