- 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 by my mentees, see my researchmap.
Institute of Science Tokyo (formerly Tokyo Institute of Technology)
Papers
- Kosuke Kiuchi, co-supervised with Hidehiko Masuhara.
An Efficient Execution Mechanism on a GPU for Fine-Grained Parallel Programs With the Fork-Join Model
IPSJ Transactions on Programming, 2025 - Satsuki Kasuya, co-supervised with Hidehiko Masuhara.
Dynamic Version Checking for Gradual Updating
Journal of Information Processing, 2025
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