Three Papers Accepted to SPLASH-E
The following papers have been accepted to SPLASH-E 2025, to be held in Singapore in October.
Rikito Taniguchi’s Presentation of a Scala-to-WASM Compiler at WAW@SPLASH
Rikito Taniguchi gave a talk entitled “Implementing and Evaluating a High-Level Language with WasmGC and the Wasm Component Model: Scala’s Case” at the 2025 WebAssembly Workshop, co-located with SPLASH/ICFP 2025. This is join work with EPFL.
(more…)Masuhara’s Keynote Talk on Meta-Tracing JIT Compilation at MPLR
Masuhara gives a keynote talk titled “Joy of Meta-Tracing Just-in-Time Compilation: More Than Just a JIT Compiler Generator” (its subtitle was originally “more than just a VM generator”) at the 22nd International Conference on Managed Programming Languages and Runtimes (MPLR 2025), co-located with ICFP/SPLASH 2025 in Singapore.
Paper on Continuations in Music Accepted to OlivierFest
The following paper has been accepted to OlivierFest 2025.
- Youyou Cong. “Continuations in Music”
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.