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!
PPL2022 Paper on Monadic Equational Reasoning (along with other paper and poster presentations)
Category 1: Original Paper
At the 24th JSSST SIG Programming and Programming Languages Workshop (PPL2022), the following paper was accepted by and presented.
Category 2: Paper Presentation
The following paper was also presented.
- [journal/conference-accepted-paper] A Functional Programming Language with Versions (Tanabe, lubis, Aotani, Masuhara) (published at <Programming>’22)
Category 3: Posters & Demos
The following posters and demos were also presented.
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, 副作用を持つプログラミング言語を型安全に定義するためのライブラリの開発に向けて
Fathul, Arai and Nose Presents Master’s Theses
Our members present their master’s theses.
- Fathul Asrar Alfansuri, Supporting Multiple Inheritance in a Python DSL for GPGPU
- Kohei Arai, 仮想機械語を用いた第一級継続の実現方法とその比較
- Junya Nose, Mio:プログラムデザインを支援するブロック学習環境
Journal Paper on Implementation of Kanon Live Programming Environment
Our paper entitled “An approach to collect object graphs for data-structure live programming based on a language implementation framework”, authored by Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara and Youyou Cong, was accepted by the IPSJ Transaction on Programming. The paper is also included in the IPSJ Journal of Information Processing (JIP).
The paper was presented at the 136th Workshop of IPSJ SIG Programming on November 1st, 2021.
Presentation on Type-Based Music Generation at MUS133
The following work will be presented at MUS 133.
- Youyou Cong. Towards Type-Based Generation of Intervals.
Presentation on Intrinsically-typed Interpreters at WITS’22
The following presentation will be held at the first International Workshop on the Implementation of Type Systems (WITS’22), colocated with POPL22.
- Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara. Intrinsically-typed Interpreter for Effectful Languages (discussion)
Paper on the Adaptive RPython (@ PEPM’22)
The following short paper will be presented at the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM).
- Yusuke Izawa, Hidehiko Masuhara, and Carl Friedrich Bolz-Tereick. Two-level Just-in-Time Compilation with One Interpreter and One Engine. [paper]
Paper on Adaptive RPython in Journal of Object Technology
Our paper, entitled “Threaded Code Generation with a Meta-tracing JIT Compiler,” is accepted by the Journal of Object Technology (JOT) Special Issue for ICOOOLPS 2021 (JOT ICOOOLPS 21). The work was presented at the ICOOOLPS 2021 workshop in July.
- Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, and Youyou Cong. Threaded Code Generation with a Meta-Tracing JIT Compiler. [paper]
Talk on Monadic Equation Reasoning (@ TPP2021)
Saito gave a presentation on a monadic equational reasoning at The 17th Theorem Proving and Provers meeting (TPP 2021).
- Ayumu Saito and Reynald Affeldt. Extending Monae to formalize quicksort using monads in Coq