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!
The following presentation was awarded as the best poster at PPL 2021.
The poster PDF and Agda code can be found here .
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 .
Posters
The following posters will be presented at PPL’21 .
(official site )
The following work will be presented at Lambda Days 2021 .
Our members present their bachelor’s theses. (Bachelor thesis presentation)
Our members presented their master’s theses.
(official announcement )
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.
Award Ceremony on April 19
The following short paper will be presented at The Workshop on Partial Evaluation and Program Manipulation .
Kenichi Asai, Youyou Cong , and Chiaki IshioA Functional Abstraction of Typed Trails
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) .
VIDEO
