member – プログラミング研究室

About member

View all posts by member

以下の論文が PLDI 2024 に採択されました。本論文は田辺の京都大学在籍時の研究成果です。本成果は6月24-28日にデンマークのコペンハーゲンで開催されるPLDI2024にて発表されます。

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, and Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

角田、増原、叢による論文「コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール」が第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024)の査読付き論文として採択され、発表されます。

糟谷颯希, 増原英彦, 青谷知幸, 田辺裕大, Luthfan Anshar Lubis. 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案
谷口茜, 叢悠悠, 増原英彦. 限定継続演算子を持つオブジェクト指向言語の形式化
川添裕功, 叢悠悠, 増原英彦. 依存型付き言語におけるA-正規形から継続渡し形式への型保存変換
酒井大我, 増原英彦, 叢悠悠. ブロック型プログラミング学習環境における問題解決支援のための目的文変形・提示機能の提案
Jessica Belicia Cahyono, 叢悠悠, 増原英彦. A Block-Based Environment for Learning Data Modeling
Jacob Lindahl, 増原英彦, 叢悠悠. Preventing Metadata Leakage in Communication over Public Channels
斉藤歩夢, Reynald Affeldt. Towards equational reasoning for probabilistic programs in Coq

津山、叢、増原による論文 “An Intrinsically-typed Compiler for Effect Handlers”がPEPM2024(The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation)に採択されました。2024年1月にイギリス-ロンドンで発表されます。

第21回アジアプログラミング言語・システムシンポジウム(APLAS 2023)にて斉藤, Affeldtによる論文 “Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq”が採択され、発表を行います。

The 19th Theorem Proving and Provers meetingにて本研究室から3名が発表します。

Kazuki Ikemori, Youyou Cong, Hidehiko Masuharaによる論文 “Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators”が宣言的プログラミングの原理と実践に関する国際シンポジウム(PPDP 2023)に採択されました。論文はエフェクトハンドラと限定制御演算子の表現力が等しいことを、エフェクト/限定継続がラベルで区別可能な設定の下で示しています。論文発表は2023年10月にSPLASH国際会議の一部として開催されるシンポジウムで発表されます/ました。