About member
View all posts by member
TyDe 2023にて確率的プログラミング言語形式化に関する発表
型駆動開発に関する国際ワークショップ(TyDe 2023)にて斉藤, AffeldtによるExtended abstract “An Intrinsically-typed Probabilistic Programming Language in Coq”が採択され、発表を行います。
バージョン多相プログラミングに関する学生研究コンテストポスター発表
Luthfan Anshar Lubisが米国ワシントン大学で開催された第37回オブジェクト指向プログラミングに関するヨーロッパ会議(ECOOP 2023)の学生研究コンテストにおいて “Polymorphism for Programming With Versions” と題する発表を行いました。
👉 Project
ビジュアルデバガに関するDEBTワークショップ発表
Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Congによる”Program State Visualizer with User-Defined Representation Conversion (WIP)”と題する論文がECOOP 2023に併設のthe first Future Debugging Techniques (DEBT) workshopにて発表されます。
エラー生成クイズに関するITiCSE論文
角田、増原、叢による論文 “Mind the Error Message: an Inverted Quiz Format to Direct Learner’s Attention to Error Messages” がACMの計算機科学教育の革新と技術に関する国際会議(ITiCSE 2023)で発表されます。299の投稿から81本しか採録されない会議で発表できて嬉しい限りです。発表は2023年7月にフィンランドTurkuにおいて行われます。
「バージョン付き関数型プログラミング言語」の発表 (@ ‹Programming› 2023)
田辺、Luthfan、青谷、増原による論文「A Functional Programming Language with Versions」がThe International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2023)で発表されます。
本論文は、昨年の同会議‹Programming› 2022でも発表されています。
適応的RPythonのMoreVMs’23ワークショップでの発表
伊澤侑祐が “Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework” と題する発表を MoreVMs’23 ワークショップにて行います。
“Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework“
Yusuke Izawa, Hidehiko Masuhara, and Carl Friedrich Bolz-Tereick
エフェクトハンドラに対する依存型付きコンパイラに関する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
- 古殿直也、差分実行の形式化
- 高橋修祐、実行履歴を用いた差分実行型ライププログラミング環境の実現