カテゴリー: version-programming
小串、新美、陳忻、Luthfanが修士論文を発表しました
研究室メンバーが修士論文を発表しました。
- 小串智希, ライブデータ構造プログラミングの大規模データ利用のための改善 (PDF)
- 新美和生, 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)
GPGPUのためのPython DSLに関するソフトウェア科学会大会論文と5件のポスター発表
陳忻らが日本ソフトウェア科学会第37回大会 においてSanajehの論文を発表しました。
同大会では研究室メンバーによる以下のポスター発表も行われました。 (さらに…)
PPL2020でのポスターとデモ発表
以下のメンバーが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)
伊澤、田辺、叔が修士論文を発表しました
PPL 2019 にて論文・ポスター発表
以下の論文が第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019) で発表されました。
- On Defining Recursive Functions in Live Data Structure Programming (岡、増原、青谷)
- プロファイル型プログラム合成によるGPGPUプログラムの半自動最適化(蟹、増原、青谷)
また、以下のポスターがPPL 2019で発表されました。
COP2018での論文発表 “A Context-Oriented Programming Approach to Dependency Hell”
田辺, 青谷, 増原による以下の論文がアムステルダムで開かれるCOP2018にて発表されます。
第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018)で伊澤, 田辺, 奥河がポスターの発表
3月5日から7日にかけて鳥取県皆生温泉で行われた第20回プログラミングおよびプログラミング言語ワークショップにおいて、伊澤(B4), 田辺(B4), 奥河(M2)の三名がポスター発表を行いました。
← Previous page