The following talks have been accepted to ICFP/SPLASH 2025 co-located events.
Zhiqi Chen presented his work entitled “Towards Programming with Effect Handlers and Typed Holes” at ICFP 2025 Student Research Competition.
Hayashi, Yoshio, and Cong gave the following presentations at the 11th Workshop on SIGPX.
Tanabe gave an invited talk at the NII Karui-awa Workshop.
We celebrated graduation of our member Rikito Tanigushi who was awarded his Master’s degree as the representative of the School of Computing. He will continue to work as a compiler engineer. We wish that he will be successful with his experiences with us.
Satsuki Kasuya, Yudai Tanabe and Hidehiko Masuhara received an interactive poster award by their poster presentation titled “Gradual Migration via Multi-Version Object Mechanism” at IPSJ/SIGSE Software Engineering Symposium (SES2025).
Satsuki Kasuya presented his poster entitled “Incremental Software Migration with Multi-Version Object Mechanism” at IPSJ/SIGSE Software Engineering Symposium (SES2025).
(more…)
Satsuki Kasuya presented his poster entitled “Incremental Software Migration with Multi-Version Object Mechanism” at JSSST Annual Conference (JSSST2025).
(more…)
Cong will give a lecture on dependently typed programming in Agda at PPL Summer School 2025, affiliated with the 42nd JSSST annual conference.
The materials for the lecture can be found on GitHub.
Tanabe will give the following research presentation at the Open Campus 2025 (Science Tokyo, Science and Engineering Division). This session is presented for high school students and prospective applicants. Advance registration is required for both in-person and online participation. A recording will also be available on Science Tokyo YouTube channel at a later date.
Slides
発表資料
Program
https://github.com/yudaitnb/matrix-benchmark-oc
Presentation
https://www.youtube.com/watch?v=TCgg341daZ8
Overview
Search engines, games, and social media platforms operate based on “blueprints” written in programming languages. A question arises: how can these blueprints be systematically described, processed with efficiency, and verified for safety? This lecture introduces the scientific foundations of programming languages that address these challenges, exploring methods for expressing, executing, and proving safeties of programs.
👉Website
👉Pamphlet
👉Personal website
👉Science Tokyo YouTube channel