Category: news
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 Programming With Versions at the STAIR Lab Seminar
Tanabe will give an invited talk on Programming with Versions at the STAIR Lab Seminar, organized by Software Technology & Artificial Intelligence Research Laboratory, Chiba Institute of Technology.
➡ The STAIR Lab Software Technology Seminar – conpass
➡ Events – STAIR: Software Technology and Artificial Intelligence Research Laboratory
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 😉 .
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 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 poster presentations were presented at The 26th JSSST Workshop on Programming and Programming Language 2024 held in Niigata, 5-7 March 2024.
- Satsuki Kasuya, Hidehiko Masuhara, Tomoyuki Aotani, Yudai Tanabe, Luthfan Anshar Lubis. 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案
- Akane Taniguchi, Youyou Cong, Hidehiko Masuhara. 限定継続演算子を持つオブジェクト指向言語の形式化
- Hironori Kawazoe, Youyou Cong, Hidehiko Masuhara. 依存型付き言語におけるA-正規形から継続渡し形式への型保存変換
- Taiga Sakai, Hidehiko Masuhara, Youyou Cong. A Proposal on Purpose-Statements Transformation and Presentation Mechanism that Support Problem Solving in Block-Based Programming Learning Environment
- Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara. A Block-Based Environment for Learning Data Modeling
- Jacob Lindahl, Hidehiko Masuhara, Youyou Cong. Preventing Metadata Leakage in Communication over Public Channels
- Ayumu Saito, Reynald Affeldt. Towards equational reasoning for probabilistic programs in Coq
Five Members Presented Bachelor’s Thesis
Five of our members presented their bachelor’s theses.
- Cahyono Jessica Belicia, Design and Implementation of a Block-based System for Learning How to Construct Algebraic Data Types
- Satsuki Kasuya, Design and Compatibility-Checking Mechanism of a Dynamically-Typed Language That Supports Multiple Versions
- Hironori Kawazoe, Type-Preserving Translation from A-Normal Forms to Continuation-Passing Forms in a Dependent-Typed Language
- Taito Suda, Supporting Directed Acyclic Graphs in a Type-Level Shape Checker for Deep-Learning Programs
- Akane Taniguchi, Formalizing an Object-Oriented Programming Language With Delimited Control