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)
Prof. Alex Potanin (Victoria University of Wellington) gave two talks in our research group. Prof. Potanin is a developer of Wyvern, a cyber security-oriented programming language.
Talk 1: Wyvern – Security by Design
Talk 2: Decidable Subtyping for Path Dependent Types
A paper entitled “Extending Lift Intermediate Representation with Dynamic Length Arrays”, authored by Niimi and Masuhara is presented at the 127th IPSJ Workshop on Programming.
Onward! 2019 will be held at Athens, Greece from 20-25 October 2019, co-located with SPLASH (including OOPSLA). Masuhara serves as the Program Chair of Onward! Papers Track.
Paper submission deadline is 22 April 2019. Please submit your radical, visionary and innovative ideas!
Professor Fernando Castor at Federal University of Pernambuco (UFPE), Brazil joined our group as a visiting scholar. He will jointly work with us until February 2020.
Sherif Omar joined our group as an exchange student from Technische Universität Berlin. He will work with us until March. Herzlich willkommen!
Fathul Asrar Alfansuri joined our group as a new master’s course student under IGP(A). He is the second Indonesian member in the group. Selamat datang!