Category: news
Graduation March 2021
We celebrated graduation of our members. The same as the last year, the university’s ceremony was held online due to COVID-19.
Jizhe Chenxin, Lubis Luthfan, Kazuki Niimi and Tomoki Ogushi received the Master’s degrees. Luthfan will pursuit the PhD degree in our group. Chenxin, Niimi and Ogushi will start working for software companies in Japan. Naoya Furudono, Kazuki Ikemori and Shusuke Takahashi 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!
Best Poster Award at PPL 2021
The following presentation was awarded as the best poster at PPL 2021.
- Youyou Cong. A Formalization of Counterpoint in Agda.
The poster PDF and Agda code can be found here.
Paper & Poster presentation at PPL’21
Paper
The following paper will be presented at PPL’21.
- Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework (Izawa, Masuhara) (published at DLS’20)
- A Functional Abstraction of Typed Trails (Kenichi Asai, Cong, Chiaki Ishio) (published at PEPM’20)
Posters & Demos
The following posters & demos will be presented at PPL’21.
- ライブデータ構造プログラミングの大規模データ利用のための改善 (Ogushi, Masuhara）
- Effekt言語の双方向エフェクトによる拡張 (Niimi, Cong, Masuhara)
- デザインレシピに基づいたプログラミングための開発環境の構築に向けて (Nose, Cong, Masuhara)
Posters
The following posters will be presented at PPL’21.
- An Agda Formalization of Counterpoint (Cong)
- An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (Izawa, Masuhara, Cong)
- 代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明 (Ikemori, Cong, Masuhara)
- Koka言語に対するエフェクト割り当て最適化 (Furudono, Cong, Masuhara)
- 汎言語的ライブプログラミング環境のためのデータ構造解析手法 (Takahashi, Izawa, Masuhara, Cong)
Presentation on Beginner-Friendly Programming Environment at Lambda Days 2021
The following work will be presented at Lambda Days 2021.
- Junya Nose, Youyou Cong, and Hidehiko Masuhara
Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach
Ikemori, Furudono and Takahashi Presents Bachelor’s Theses
Our members present their bachelor’s theses. (Bachelor thesis presentation)
- Kazuki Ikemori, 代数的エフェクトを持つ計算体系F^effへのエフェクト強制の導入と健全性の証明 (PDF)
- Naoya Furudono, 代数的エフェクトを備えた関数型言語 Koka に対する、エフェクト割り当て最適化 (PDF)
- Shusuke Takahashi, データ構造ライブプログラミング環境の汎言語的な構築手法 (PDF)
Master’s theses defense by Ogushi, Niimi, Chenxin and Luthfan
Our members presented their master’s theses.
- Tomoki Ogushi, ライブデータ構造プログラミングの大規模データ利用のための改善 (PDF)
- Kazuki Niimi, Extending Effekt with Bidirectional Effects (PDF)
- Jizhe Chenxin, Nested Object Support in an Object-Oriented Domain-Specific Language for GPGPU (PDF)
- Lubis Luthfan Anshar, BatakJava: an Object-Oriented Programming Language with Versions (PDF)
Springer received Seiichi Tejima Doctoral Dissertation Award
Matthias Springer, who finished his PhD with our group, received Seiichi Tejima Doctoral Dissertation Award for FY 2019-2020. The doctoral dissertation awards are selected on content originality and the potential for development of research findings. Up to two dissertations are selected from each field category.
Paper on Typing Control Operators at PEPM ’21
The following short paper will be presented at The Workshop on Partial Evaluation and Program Manipulation.
- Kenichi Asai, Youyou Cong, and Chiaki Ishio
A Functional Abstraction of Typed Trails
Masuhara’s Keynote Talk on Object Support for GPGPU at APLAS’20
Masuhara gave a keynote talk entitled “Object Support for GPU Programming: Why and How” at the 18th Asian Symposium on Programming Languages and Systems (APLAS 2020).
Paper on Meta-Hybrid JIT Compiler at DLS’20
Our paper, entitled “Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework”, authored by Yusuke Izawa and Hidehiko Masuhara, is presented at the 16th Dynamic Languages Symposium (DLS), co-located with SPLASH 2020.
