Five New Members

We welcome the five new members to the group in this spring.

In the announcement of new members a year ago, there was a sentence “as we need to stay home due to COVID-19, we are closely communicating each other online, maybe more than ever.”  One year passed since then.  We actually communicated more than ever, and are confident to work well with the new members even if it will take a time to get normal.

2021-04-01.

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!

2021-03-26.

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)

(official site)

2021-03-09.

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)
2021-02-12.

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)

(official announcement)

2021-02-04.

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.

Award Ceremony on April 19

2021-02-04.
Next page →
← Previous page