A paper entitled “Activation Interfaces for Modular Reasoning in Context-Oriented Programming” authored by Paul Leger, Hidehiko Masuhara and Ismael Figueroa was presented at the 12th International Workshop on Context-Oriented Programming and Advanced Modularity (COP 2020). This is a proposal to provide a stable interface into the layer activation mechanism.
We welcome the five new members to the group in this spring.
As we need to stay home due to COVID-19, we are closely communicating each other online, maybe more than ever.
Cherry Blossoms on the Day of the Graduation Ceremony
We celebrated graduation of our members. We had to celebrate them virtually as the university’s ceremony was shrunk down to only a few representatives for avoiding the risks of COVID-19 infection.
Yusuke Izawa,Yudai Tanabe and Aochi Shu received the Master’s degrees. Yusuke and Yudai will pursuit the PhD degree in our group. Aochi will start working for one of the largest e-commerce companies in Japan. Junya Nose received his Bachelor’s degree, and will pursuit the Master’s degree in our group.
We wish for their bright future, and hope we can see each other soon!
Our paper “Extending Lift Intermediate Representation with Dynamic Length Arrays”, authored by Kazuki Niimi and Hidehiko Masuhara, was accepted at the PRO92.
(update) The paper is published as IPSJ Transaction on Programming, Vol.13, No.3, pp.1-12, June 1, 2020.
The workshop was originally planned to be held at Waseda University, but actually held online.
A paper entitled “Improving Keyword-based Code Recommendation by Exploiting Context Informations”, authored by Shu and Masuhara is presented at the 128th IPSJ Workshop on Programming.
Masuhara received Tokyo Tech Best Teacher Award on “design and implementation of a discussion-based programming class.”
The following members will do a poster presentation of their respective research at PPL2020.
- Agda による対位法の定式化 (Youyou Cong)
- Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level (Yusuke Izawa)
- コエフェクト多相性に基づいた版多相性の実現 (Yudai Tanabe)
- ACKN: A context-aware keyword programming system (poster) (Aochi Shu)
- Object-oriented Programming with Versions (Luthfan Lubis)
- Sanajeh: a DSL for GPGPU programming with Python objects (Jizhe Chenxin)
- Lift中間言語における動的長配列の追加 (Kazuki Niimi)
- デザインレシピに沿ったプログラミング環境の実装 (Junya Nose)
Details: https://easychair.org/smart-program/PPL2020/
Shu, Ogushi and Nose presented their work at the 7th SIGPX meeting.
- Aochi Shu, Improving Keyword Programming with Neural Sentence Generator
- Tomoki Ogushi, Improving an Automatic Graph Layout Method for Understanding Data Relations
- Junya Nose, Programming Environment Based on Design Recipes
Junya Nose defended his bachelor’s thesis. (Bachelor thesis presentation)
Three members defended their master’s theses.
- Yusuke Izawa, Stack Hybridization: A Mechanism for Bridging Two Compilation Strategies in a Meta Compiler Framework (PDF)
- Yudai Tanabe, 版を扱えるプログラミング言語λ VLへの型・版多相性の導入の研究 (PDF)
- Aochi Shu, Improving keyword programming by using neural text generation (PDF)
(official announcement)