Category: news
Two New Undergraduate Members
We welcome the two new undergraduate members to the group in this spring.
We now have 17 student and 2 faculty members, and would like to be more productive than before!
Graduation March 2022
We celebrated graduation of our members. At the end of the two years of working online, the group members managed to get together to applause the graduating members’ hard work.
Kouhei Arai, Junya Nose and Fathul Asrar Alfansuri received the Master’s degrees. Fathul will pursuit the PhD degree in our group. Arai and Nose will start working for software companies in Japan. Ayumu Saito, Kazuhiro Tsunoda and Syouki Tsuyama received their Bachelor’s degrees, and will pursuit the Master’s degree in our group.We wish for their bright future, and hope we can see each other soon!
Presentation on Adaptive RPython (@RIEC Cooperative Research Project Workshop)
Yusuke Izawa presented our research on Adaptive RPython as a title “A meta-JIT compiler that rules them all” at the workshop of TOHOKU University RIEC Cooperative Research Project “型主導コンパイルによる高性能高信頼ソフトウェア構成.”
Presentations on Algebraic Effects (@ TFP 2022)
The following work will be presented at TFP 2022.
- Naoya Furudono, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Towards Efficient Adjustment of Effect Rows
- Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Sound and Complete Type Inference for Closed Effect Rows.
- Youyou Cong and Kenichi Asai. Understanding Algebraic Effect Handlers via Delimited Control Operators.
*Microsoft Research, USA
PX/22 Paper on a Graphical Note-Taking Tool for Program Comprehension
A paper titled “CodeMap: a Graphical Note-Taking Tool Cooperating with an Integrated Development Environment”, authored by Rikito Taniguchi and Hidehiko Masuhara was accepted by the 8th Edition of the Programming Experience Workshop (PX/22), colocated with ‹Programming› 2022.
Presentation on Type-Based Music Composition (@ TFPIE 2022)
The following work will be presented at TFPIE 2022.
- Youyou Cong. Towards Type-Based Music Composition
Cong Received Best Poster Award from PPL 2022
Youyou Cong received the best poster award for her presentation “Toward Type-basde Generation of Music” at PPL 2022. She won the awards two years in a row!
Saito, Tsunoda and Tsuyama Presented Bachelor’s Theses
Our members present their bachelor’s theses.
- Ayumu Saito, Formal Verification of Effectful Programs by Equational Reasoning
- Kazuhiro Tsunoda, プログラミングエラーメッセージの読解を促進する初学者向け演習形式の提案
- Syouki Tsuyama, 副作用を持つプログラミング言語を型安全に定義するためのライブラリの開発に向けて
