Invited Talk on Continuations at FLOPS 2024
Cong will give an invited talk titled “Continuations from Three Angles” at FLOPS 2024.
(more...)STORES Presented EnBugging Quiz at RubyKaigi 2024
Inspired by our enbugging quiz, STORES Corporation presented a Ruby version of en bugging quiz at RubyKaigi 2024 held in Okinawa. It is exciting to know that our enbugging quiz can be useful not only in education but also in more professional context.
Omae presented Master’s Thesis
Ryoichi Omae presented his master’s thesis.
- Ryoichi Omae, Performance Evaluation of Bidirectional Evolution in a Time-Series Database
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).
(more...)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.
- Satsuki Kasuya, Hidehiko Masuhara, Tomoyuki Aotani, Yudai Tanabe, Luthfan Anshar Lubis. Design of a dynamically typed language which can use multiple versions of class definitions and proposal of its compatibility mechanism
- Akane Taniguchi, Youyou Cong, Hidehiko Masuhara. Formalizing an object-oriented programming language with delimited control
- Hironori Kawazoe, Youyou Cong, Hidehiko Masuhara. Type-Preservation CPS Transformation from ANF in Dependent Typed Language
- 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