Programming Research Group

PLDI 2024 Paper on Space-Efficient Polymorphic Gradual Typing

The following paper has been accepted to PLDI 2024. This work is conducted by Tanabe when he was a researcher at Kyoto University. This work will be presented at PLDI2024 in Copenhagen, Denmark.

• Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, and Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

Invited Talk on Continuations at FLOPS 2024

Cong will give an invited talk titled “Continuations from Three Angles” at FLOPS 2024.

New Members: An Assistant Professor, Five Undergraduates, and a Master’s Student

Yudai Tanabe has joined our group as an assistant professor. He has been a post-doc researcher at Kyoto University after he finished his Ph.D. in our group in March 2023.  Welcome back!

• Yudai Tanabe (Assistant Professor)

We also welcomed a new master’s course student and five new undergraduates in this spring.

• Zhijie Xie (Master’s course)
• Minami Hayashi (Undergraduate)
• Kota Kumamoto (Undergraduate)
• Kosei Matsuyama (Undergraduate)
• Akane Taniguchi (Undergraduate)
• Takuma Yoshio (Undergraduate)

We are now 21 students and 3 faculties; our first mission is to remember each other’s names 😉 .

• People

Graduation March 2024

We celebrated graduation of our members. This year, 3 masters and 5 bachelors were awarded their degrees. Three of them left the university while five will continue to work with us to pursuit the next degrees. We wish their bright future no matter where they will be!

Cahyono also received the Tokyo Tech Best Student Award, which awards the best student with excellent academic performance and character among the graduates in the department.

Saito, Tsunoda and Tsuyama received the Master’s degrees and will work as developers in tech companies. Cahyono, Kasuya, Kawazoe, Suda and Taniguchi received the Bachelor’s degrees and will pursuit the Master’s degrees in our group.

• Saito, Tsunoda and Tsuyama presented Master’s Thesis
• Five Members Presented Bachelor’s Thesis

High School Students Visited Our Seminar

Around 20 students from Seiryo High School visited to join our group’s seminar. At the seminar, we discussed on a talk on “algebraic effect handlers and their application to game developments,” which was given by one of our members. We had many questions even after the seminar. We hope that the visit was fruitful to know something about research at universities.