Category: version-programming


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.

Paper on Python DSL for GPGPU at JSSST 2020 Conference (Along With 5 Posters)

Chenxin et al. presented his paper on Sanajeh at the 2020 annual conference of Japan Society for Software Science and Technology (JSSST).

Our group member also presented posters at the conference. (more…)

2020-09-08.

Poster & Demo Presentation at PPL2020

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/

2020-03-02.

Master’s theses defense by Izawa, Tanabe and Shu

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)

2020-01-30.

Paper & Poster presentation at PPL 2019

The following papers were presented at PPL 2019.

  • On Defining Recursive Functions in Live Data Structure Programming (authored by Oka, Masuhara, Aotani)
  • A Profile-based GPGPU Program Synthesizer for Shared Memory Optimization(authored by Kani, Masuhara, Aotani)

The following poster was presented at PPL 2019.

2019-03-06.

Paper presentation on “A Context-Oriented Programming Approach to Dependency Hell” at COP2018

Our paper was accepted by the 10th International Workshop on Context-Oriented Programming (COP2018).

2018-07-16.

Three Poster Presentations at the PPL 2018 Workshop

Izawa, Okugawa and Tanabe did the poster presentation at the PPL workshop.

  • “Proposal of a meta-hybrid JIT compiler (メタ混合JITコンパイラの提案)” by Izawa, Masuhara and Aotani

  • “Introducing versions into a programming language (プログラミング言語へのバージョンの導入の研究)” by Tanabe, Aotani and Masuhara

  • “Extensible formalization of type-safety based on an operational semantics (証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究)” by Okugawa, Aotani and Masuhara

The workshop is titled the 20th JSSST workshop on Programming and Programming Languages (PPL), and was held at Kaike Onsen, Tottori, from March 3rd until 5th.
2018-03-31.
← Previous page