Category: sanajeh


2 presentations at JSSST 2023 Conference

The following papers are presented at the 2022 Annual Conference of the Japan Society for Software Science and Technology (JSSST2022) held at University of Tokyo and online.

(more…)

Keynote Talk on High-Level Programming Abstractions for GPGPU at CTHPC2022

Masuhara gives a keynote talk on “High-Level Programming Abstractions for GPGPU” at the 27th Workshop on Compiler Techniques and System Software for High-Performance and Embedding Computing (CTHPC2022).

Fathul, Arai and Nose Presents Master’s Theses

Our members present their master’s theses. 

  • Fathul Asrar Alfansuri, Supporting Multiple Inheritance in a Python DSL for GPGPU
  • Kohei Arai, 仮想機械語を用いた第一級継続の実現方法とその比較
  • Junya Nose, Mio:プログラムデザインを支援するブロック学習環境

Talk on Nested Object Support for GPGPU at ARRAY 2021(@PLDI)

Chenxin Jizhe and Hidehiko Masuhara give a talk on “Nested Object Support in a Structure-of-Arrays Dynamic Objector Allocator” at the ARRAY 2021 workshop, co-located with PLDI 2021.

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)

Masuhara’s Keynote Talk on Object Support for GPGPU at APLAS’20

Masuhara gave a keynote talk entitled “Object Support for GPU Programming: Why and How” at the 18th Asian Symposium on Programming Languages and Systems (APLAS 2020).

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…)

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/