Chen Won 3rd Place in the ICFP 2025 SRC
Zhiqi Chen won the 3rd place at the ICFP 2025 Student Research Competition for his work titled “Towards Programming with Effect Handlers and Typed Holes”.
Two Talks Accepted to Scala Workshop and HATRA
The following talks have been accepted to ICFP/SPLASH 2025 co-located events.
- Youyou Cong. “Towards an Educational Fragment of Scala”
The 2025 Scala Workshop. - Youyou Cong. “Types as a Specification Language for Creativity”
HATRA 2025.
Zhiqi Chen’s Presentation on Typed Holes at ICFP SRC
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 Talks at SIGPX 11
Hayashi, Yoshio, and Cong gave the following presentations at the 11th Workshop on SIGPX.
- Minami Hayashi “Trajectory-based Algorithm Visualization for Live Data-Structure Programming”
- Takuma Yoshio “Interactive Program Synthesis through Data Structure Manipulation”
- Youyou Cong “Report on Shonan Meeting No.233: Foundations of Computation and Creative Computing“
An Invited Talk on Gradual Typing at the NII Karuizawa PL Seminar
Tanabe gave an invited talk at the NII Karui-awa Workshop.
(more…)
Graduation September 2025
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.
Kasuya Received SES2025 Interactive Poster Award
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).
Kasuya Presented a Poster on Multi-Version Objects at SES2025
Satsuki Kasuya presented his poster entitled “Incremental Software Migration with Multi-Version Object Mechanism” at IPSJ/SIGSE Software Engineering Symposium (SES2025).
(more…)
Kasuya’s Poster Presentation on Gradual Software Updating at JSSST Annual Conference 2025
Satsuki Kasuya presented his poster entitled “Incremental Software Migration with Multi-Version Object Mechanism” at JSSST Annual Conference (JSSST2025).
(more…)
Lecture on Agda at PPL Summer School
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.
