Talk on Type-Directed Music Composition (@ YOW! Lambda Jam 2022)
Youyou Cong will be giving a talk titled “Type-Directed Music Composition” at YOW! Lambda Jam 2022.
Presentation on “A Functional Programming Language with Versions” (@ ‹Programming› 2022)
A paper entitled “A Functional Programming Language with Versions”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara, is presented at The International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2022).
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!
Presentations at SIGPX9
Tsunoda, Rikito Taniguchi, Izawa presented their work on the 9th SIGPX meeting. Sakai and Kiuchi also participated in this meeting.
- Kazuhiro Tsunoda, Proposal of enbugging quiz and introduce of preliminary experiment
- Rikito Taniguchi, CodeMap: a Graphical Note-Taking Tool Cooperating with an Integrated Development Environment
- Yusuke Izawa, A wild (meta-)tracing baroque
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!