Category: news
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”.
Presentation on Gradual Typing at PPL2025
Tanabe will give an invited talk on PLDI’24 paper at PPL2025 .
- Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. (PLDI’24)
Related posts
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.)
Tetsuya Sato’s Talk on Verification & Formalization on Differntial Privacy at the 3rd PL Joint Seminar
We hosted the 3rd PL Joint Seminar in collaboration with programing research labs (Mianamide-lab & RPG-group) from Schience Tokyo.
A Journal Paper on Vython, a Programming Language with Dynamic Version Checking
A paper entitled “Dynamic Version Checking for Gradual Updating”, authored by Kasuya, Tanabe and Masuhara was accepted by the IPSJ Transactions on Programming / Journal of Information Processing.
The paper is based on the work presented at APLAS 2024 and PPL 2024, and IPSJ-PRO workshop.
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.
Kiuchi and Sakai presented Master’s Theses
Kiuchi and Sakai gave presentations of their Master’s theses. They all deserved “the best eye contact presentation awards! 😉
Final Presentation for Campus Asia Program by Jiwon Kim
Jiwon Kim, an exchange student from KAIST, gave the final presentation on his working during the Campus Asia Program. He worked on formalizing microtonal music theory for verifying musical properties through type theory.
Kasuya’s IPSJ PRO Workshop Talk on Vython Version Programming Language
Kasuya gave a talk on a version programming language based on Python at the 152nd IPSJ Workshop on Programming (PRO2024-4).
This work is a sequel of the previous two presentations at APLAS 2024 SRC & Posters and PPL 2024.