The Programming Research Group is working on programming languages and software development environments. Our goal is to make programming more fun by advancing theory, design and implementation of programming languages and environments.
- Theory and design of programming languages: We are investigating for example type systems, control operators, advanced module mechanisms, and program synthesis.
- Implementation techniques for high-level programming languages: We are developing object-oriented support for high-level GPGPU programming languages, and runtime compiler frameworks.
- Improving software development environment by applying program analysis and machine-learning techniques: We are developing live programming environments for the real programmers, an environment for teaching, code completion mechanisms and debuggers.
For more and detailed research topics, please look our projects page. We welcome interested students and researchers to join us.
A paper entitled “Generating Interpreter-Specific Tracers for Meta-Tracing JIT Compilers” was accepted by the 23rd International Conference on Managed Programming Languages and Runtimes (MPLR 2026). This joint work with Yusuke Izawa and CF Bolz and his colleague attempts to apply the well-known idea of generating extensions to the RPython JIT compiler generator, and reports its results.
(more…)
We celebrated graduation, promotion and entrances of our members. Funabashi graduated from the undergrad course and entered to the Master’s course along with Tamaki, Prüne and Del Vecchio, who were newly joined. Kasuya, Xie, Cahyono and Kawazoe graduated from the Master’s course, and the first two entered to the Doctoral course and the last two went to the industry. Imaizumi, Kataoka, Nakano, Ogiwara and Sakano were the newly joined undergraduates. Moreover, Ali and Erdem were the new exchange undergraduate students. 1 + 4 graduations, 1 + 2 promotions and 3 + 5 + 2 entrances…we must have 8 more members!
There are two presentations at the Programming Experience Workshop (PX/26), colocated with the Programming Symposium (<Programming> 2026) at Munich, Germany.
(more…)
Our members presented posters and demos at the JSSST Workshop on Programming and Programming Languages (PPL2026) at Takamatsu, Kagawa. Among 108 presentations, all of our presentations successfully attracted many participants and had heated discussions.
(more…)
Our members presented 4 papers at the JSSST Workshop on Programming and Programming Languages (PPL2026). The three papers by Yoshimura, Kasuya and Peien Chen are refereed “original papers,” and the one by Cahyono is a reproduction of the paper presented at SPLASH-E last year.
(more…)
A paper entitled “Implementation of Multiple Consistency Models for Distributed Transactions in a Reactive Programming Language”, authored by Suzuki, Kamina, Aotani and Masuhara, was accepted by the IPSJ Transaction on Programming.
The paper was presented at the 157rd Workshop of IPSJ SIG Programming on January, 2026.
(more…)
A paper on ‘Students’ Understanding of (Delimited) Continuations’ is accepted by SIGCSE TS 2026, to be held in St. Louis, MO, USA in February 2026.
(more…)
Funabashi presented his Bachelor’s thesis titled “Towards Supporting Learning of Accumulative Recursion via Conversations”.
(more…)
👉Teaching How to Design Programs
👉Dissertations
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.
(more…)
Zhijie Xie presents a paper on a static analysis of the Ruby implementation for safety of garbage collection 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.
PRO2025-4-(15): 16:45–17:30
“GuardLint: Static Analysis of CRuby for Checking GC Guards”
○Zhijie Xie (Institute of Science Tokyo)
Hidehiko Masuhara (Institute of Science Tokyo)
Koichi Sasada (STORES, Inc.)
Project page: Making the Ruby Implementation More Robust
