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.
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.
(more…)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! 😉
(more…)
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).
(more…)
Seminar Talk by Roger Burtonpatel
Roger Burtonpatel visited our group and gave a seminar talk titled “An Alternative to Pattern Matching, Inspired by Verse”.
Kasuya Won Audience Award from APLAS 2024 SRC Posters
Kasuya won the Audience Award of the student research competition posters at APLAS 2024.
(more…)Kasuya’s Poster Presentation on Vython Version Programming at APLAS
Kasuya’s work on version programming was accepted by the Student Research Competition and Posters track at the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024). His poster was presented at the symposium from October 21st to 25th. Though he could not proceed to the final round, his poster won the Audience Award.
(more…)