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 April 1, 2025)
I am currently mentoring
- one all but dissertation doctoral student,
- seven graduate students, and
- no undergraduate students.
and working on their thesis projects regarding language design, type systems, GPGPU, and live programming. For more information about our ongoing projects, please visit our “Projects” page.
Awards and Publications of Students
For a comprehensive list including informal publications by my mentees, see my researchmap.
Institute of Science Tokyo (formerly Tokyo Institute of Technology)
- Satsuki Kasuya, co-supervised with Hidehiko Masuhara.
マイクロサービスの独立性を損なわないバージョン移行の支援手法
Awarded for Science Tokyo SPRING, 2025 - 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
Tokyo Institute of Technology
- 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