- I assist in leading the PRG-group under Hidehiko Masuhara and Youyou Cong’s direction. If you find that our research areas align with your interests, please refer to “How to Join the Group” for further details.
- I am also looking for students interested in type systems and program verification to collaborate with Taro Sekiyama at NII. If you are interested, please feel free to contact me.
Notice: I am not formally authorized to supervise students. If you wish to conduct research with me, please contact the PIs mentioned above.
👉What is 助教 (jokyo, assistant professor in Japan)
Current Students
(Updated on January 12, 2026)
I am currently mentoring
- one Phd all but dissertation doctoral student at Science Tokyo,
- one Phd students at NII,
- six graduate students at Science Tokyo, and
- one graduate students at Kyoto University, and
- no undergraduate students.
and working on their thesis projects regarding advanced module systems, type systems, GPGPU, and programming interactivity. For more information about our ongoing projects, please visit our “Projects” page.
Awards and Papers of Students
For a comprehensive list including informal publications and presentations by my mentees, see my researchmap.
Institute of Science Tokyo (formerly Tokyo Institute of Technology)
Papers
- Yusei Yoshimura, co-supervised with Hidehiko Masuhara.
A Lightweight Implementation for Efficient Multi-Stage Computation Using a Tracing JIT Compiler
トレーシングJITコンパイラを用いた多段階計算の高速かつ簡易な実行方式
The 28th JSSST Workshop on Programming and Programming Languages (PPL2026) - Peien Chen, co-supervised with Taro Sekiyama.
Towards Borrowable Ownership Types with Algebraic Effect Handlers
The 28th JSSST Workshop on Programming and Programming Languages (PPL2026) - Satsuki Kasuya, co-supervised with Hidehiko Masuhara.
Dynamic Version Checking for Gradual Updating
The 28th JSSST Workshop on Programming and Programming Languages (PPL2026) - Kosuke Kiuchi, co-supervised with Hidehiko Masuhara.
An Efficient Execution Mechanism on a GPU for Fine-Grained Parallel Programs With the Fork-Join Model
Journal of Information Processing, 2025, Volume 33, Pages 840–851 - Satsuki Kasuya, co-supervised with Hidehiko Masuhara.
Dynamic Version Checking for Gradual Updating
Journal of Information Processing, 2025, Volume 33, Pages 471–486
Awards
- Satsuki Kasuya, co-supervised with Hidehiko Masuhara.
Gradual Migration via Multi-version Object Mechanism
Awarded for Interactive Poster Award at IPSJ/SIGSE Software Engineering Symposium (SES2025), 2025 - Satsuki Kasuya, co-supervised with Hidehiko Masuhara.
マイクロサービスの独立性を損なわないバージョン移行の支援手法
Awarded for Science Tokyo SPRING, 2025
Tokyo Institute of Technology
Awards
- Satsuki Kasuya, co-supervised with Hidehiko Masuhara.
Vython: a Language with Dynamic Version Checking for Gradual Updating
Awarded for the audience award in APLAS 2024 SRC, 2024