Yaozhu Sun visited our group and gave a seminar talk entitled
Sun was an exchange student from Zhejiang University in 2018, working in the Programming Group (then the Masuhara Lab at Tokyo Tech at that time) on GPGPU research. After completing his PhD, he has been working as a researcher at the National Institute of Informatics (NII) in Japan. Welcome back!
Masuhara gave a keynote talk on Programming with Versions at The 24th Belgium-Netherlands Software Evolution Workshop. It was a great opportunity to discuss our project from the perspectives of software evolution.
Matsuyama give a talk entitled “A Formalization of Choreographic Programming Using Effects and Coeffects” at the 156th IPSJ Workshop on Programming.
Tanabe presents the following invited talk at the IPSJ-PRO Workshop.
Yusei Yoshimura presented his master’s thesis on “An Efficient Execution of Multi-Staged Programs by Using a Tracing JIT Compiler (トレーシングJITコンパイラを用いた多段階計算の一実現方式)”. He focused on the performance of multi-staged programs with respect to total execution times, i.e., the time for code generation and the time for the generated code execution. He showed that a simple code representation with lambda closures can improve the balance.
The following papers have been accepted to SPLASH-E 2025, to be held in Singapore in October.
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.
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.
The following paper has been accepted to OlivierFest 2025.
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”.