Category: news
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 😉 .
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.
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.
PPL 2024 Paper on Tool Support for the Enbugging Quiz
Kazuhiro Tsunoda’s paper on “Tool Support for Making Enbugging Quiz Based on Code Minimization and Syntax-Directed Fuzzing Techniques”, co-authored with Hidehiko Masuhara and Youyou Cong is accepted by and presented at the 26th JSSST Workshop on Programming and Programming Languages (PPL2024).
PPL 2024 Presentation on “Compilation Semantics for a Programming Language with Versions”
Yudai Tanabe’s work on “Compilation Semantics for a Programming Language with Versions”, co-authored with Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara is accepted by and presented at the 26th JSSST Workshop on Programming and Programming Languages (PPL2024), Category 2 This is a previously published paper presented at APLAS 2023 in Taiwan last November.
Poster Presentations at PPL 2024
The following posters were presented at the 26th JSSST Workshop on Programming and Programming Language 2024 held in Niigata, 5-7 March 2024.
PEPM 2024 Paper on Intrinsically-typed Compiler for Effect Handlers
A paper entitled “An Intrinsically Typed Compiler for Algebraic Effect Handlers”, authored by Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara, is accepted by PEPM2024(The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation) which is held in London, UK on January 2024.
Talk on CPS Translation for Dependently Typed Languages (@ PEPM 2024)
Cong will give a talk titled “One-Pass CPS Translation of Dependent Types” at PEPM 2024, co-located with POPL 2024.