Four Students Presented Master’s Thesis
Four students presented their Master’s theses. We are glad that they successfully defended on a variety of topics from programming language implementations to programming education.
Xie’s IPSJ PRO Workshop Presentation on Static Analysis for Ruby Implementation
Zhijie Xie presented a paper on a static analysis for checking the Ruby implementation at the 157th IPSJ Workshop on Programming held in Naha, Okinawa. This work is done with Dr. Koichi Sasada, one of Ruby’s core committers.
👉Project page: Making the Ruby Implementation More Robust
Presentation on a Reactive and Distributed Persistent Programming Language at IPSJ PRO Workshop
A paper on flexible distributed transactions for a reactive programming language is presented at the IPSJ SIG Programming Workshop held in Naha, Okinawa. This presentation is the result of a joint work with Oita University and Sanyo-Onoda City University.
(more…)Akane Taniguchi’s presentation on Selection Monads at POPL ’26 SRC
The following presentation has been accepted to POPL 2026 Student Research Competition. The work is a collaboration with Tom Schrijvers at KU Leuven.
(more…)
Seminar Talk by Yaozhu Sun
Yaozhu Sun visited our group and gave a seminar talk entitled
- Pursuing Type Safety for First-Class Constructs.
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 Received APSEC Best Reviewer Award
Masuhara received the APSEC 2025 Best Reviewer Award. It is an honor to have been able to contribute to the conference.
Masuhara’s Keynote Talk on Programming with Versions at BENEVOL 2025
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’s Talk on Choreographic Programming at IPSJ PRO Workshop
Matsuyama give a talk entitled “A Formalization of Choreographic Programming Using Effects and Coeffects” at the 156th IPSJ Workshop on Programming.
An Invited Talk at IPSJ-PRO Workshop
Tanabe presents the following invited talk at the IPSJ-PRO Workshop.
- 11.6 Thr, Science Tokyo, Building No. 8(E), Room E1004, 15:15-16:15
Chasing Efficiency in Sound Gradual Typing, Yudai Tanabe
Yoshimura Presented His Master’s Thesis
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.