エフェクトハンドラに対する依存型付きコンパイラに関するPPL 2023論文
津山、叢、増原による論文「エフェクトハンドラを持つ言語に対する依存型付きコンパイラ」が第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023)のカテゴリ1に採択され発表されました。
PPL2023で3件のポスター発表
名古屋大学およびオンラインのハイブリッド形式で開催される第25回プログラミングおよびプログラミング言語ワークショップにて3件ポスター・デモ発表がありました。
- 斉藤歩夢, Reynald Affeldt. 確率的プログラミング言語の形式基盤を構文で拡張する試み.
- Rifqi Adlan Apriyadi, 増原英彦, 叢悠悠. A Domain-Specific Language for Customizing Visual Debugger Views
- Luthfan Lubis, 田辺裕大, 青谷知幸, 増原英彦. Toward Parameterized Versions in Object-oriented Version Programming
叢が東工大教育賞を受賞
叢悠悠が以下の教育業績に関して東工大教育賞を受賞しました。
- 脇田建, 叢悠悠. 落伍者を出さないプログラミング教育の実践
木内、酒井による学士論文発表
研究室メンバによる学士論文の発表が行われました。
池守、古殿、高橋による修士論文発表
研究メンバによる修士論文の発表が行われました。
- Kazuki Ikemori, Translation Between Effect Instances and Multi-prompt Control Operators
- 古殿直也、差分実行の形式化
- 高橋修祐、実行履歴を用いた差分実行型ライププログラミング環境の実現
博士論文公聴会: 伊澤侑祐
伊澤侑祐の博士論文 “Supporting multi-scope and multi-level compilation in a meta-tracing just-in-time compiler.” の公聴会が開かれました。実行履歴型のJITコンパイラを生成するメタコンパイラフレームワークに対し、大部分の定義が共通化された複数のインタプリタ定義を与えることによって、複数のコンパイル範囲 (実行履歴単位とメソッド単位) と複数のコンパイルレベル (高性能なコード生成が可能なコンパイルと、高速に単純なコード生成が可能なコンパイル) を実現できる技術です。既存のメタコンパイラフレームワークは固定的なコンパイル方針を与えるのみであり、既存の特定言語向けJITコンパイラが培ったコンパイル方針に対抗できる手段を備えていませんでした。本研究は、そのような状況を打破するだけでなく、言語の振舞いを記述するものだとされてきたインタプリタ定義がコンパイルの制御をも可能であることを見出しました。
(さらに…)博士論文公聴会: 田辺裕大
田辺裕大の博士論文 “A Programming Language with Versions” の公聴会が開かれました。複数のバージョンから成るプログラムを1つのプログラムの中から同時に扱える画期的なプログラミング言語に関する研究です。
確率的プログラミング言語の意味論の形式化に関するCPP論文
Affeldt, Cohen, 斉藤による論文 “Semantics of Probabilistic Programs using S-Finite Kernels in Coq” がCPP 2023で発表されました。
エフェクトハンドラのリフレクションに関する論文 (@ PEPM 2023)
以下の論文が PEPM 2023 に採択されました。
Youyou Cong and Kenichi Asai. Towards a Reflection for Effect Handlers. PEPM 2023, Boston, MA, USA, January 2023.
第10回SIGPXにて2名の発表
高橋と叢が第10回SIGPX勉強会にて発表しました。高橋は”Implementation of Language-agnostic Live Programming Environment and Efficient Evaluation by Differential Execution”という題で修士論文としてまとめている研究内容についての発表を、叢は「Dagstuhl Seminar 参加報告 – 教育用プログラミング言語・システム」を発表しました。