masuhara – Page 6 – Programming Research Group

About masuhara

View all posts by masuhara

Five New Members

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

Rikito Taniguchi (Master’s course)
Ayumu Saito (Undergraduate)
Fumi Takeuchi (Undergraduate at ICU)
Kazuhiro Tsunoda (Undergraduate)
Shoki Tsuyama (Undergraduate)

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.

People

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.

JSSST PPL 2021 Best Poster Award, Youyou Cong, 2021, A Formalization of Counterpoint in Agda

Please wait while you are redirected...or Click Here if you do not want to wait. (more…)

2021-03-11.

Seiichi Tejima Doctoral Dissertation Award, Matthias Springer, 2021, Memory-Efficient Object-Oriented Programming on GPUs

(more…)

2021-03-01.

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.