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 “A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework”, authored by Yusuke Izawa, Hidehiko Masuhara and Carl-Friedrich Bolz, is accepted by ECOOP 2025. The work is based on Izawa’s Ph.D. thesis and development after graduation. The paper will be presented at the conference in Bergen, Norway.
(more…)
The following two papers are accepted by the <Programming> journal. They are also presented at the <Programming> conference at Prague in June 2025. The papers are the results of the joint work with Tetsuo Kamina at Oita University and Tomoyuki Aotani at Sanyo-Onoda City University.
(more…)
With a new master’s course student and two new undergraduates, we are happy to start a new academic year of 2025!
👉People
At the graduation ceremony held on March 26, 2025, Kiuchi and Sakai received a Master’s degree, and Inaba, Hayashi, Yoshio, Kumamoto, Konishi, and Matsuyama received a Bachelor’s degree.

Kiuchi presented a fine-grained threading mechanism on a GPU at the 153th IPSJ Workshop on Programming.
(more…)

We presented the following 16 posters at the JSSST Workshop on Programming and Programming Languages (PPL2025) at Gamagori, Aichi.
(more…)
We hosted the 3rd PL Joint Seminar in collaboration with programing research labs (Mianamide-lab & RPG-group) from Schience Tokyo.
👉Joint Seminar on Programming Languages
A paper entitled “Dynamic Version Checking for Gradual Updating”, authored by Kasuya, Tanabe and Masuhara was accepted by the IPSJ Transactions on Programming / Journal of Information Processing.
(more…)
The following paper will appear in the post-proceedings of the 36th Symposium on Implementation and Application of Functional Languages (IFL 2024).