木内が情報処理学会プログラミング研究会にてGPU上の細粒度スレッド実行方式について発表
木内が東京大学駒場キャンパスにおいて開催された情報処理学会 第153回プログラミング研究発表会においてGPU上で細粒度スレッド実行を行う研究について発表しました。
松下祐介氏が PPL 2025 ポスター賞（一般の部）を受賞
松下祐介氏が PPL 2025 での以下のポスター発表に関して、ポスター賞（一般の部）を受賞しました。本ポスターは田邉助教との共同研究です。
小西が PPL 2025 スポンサー特別賞を受賞
小西が PPL 2025 でのポスター発表「限定継続の学習支援のための抽象機械に基づく可視化」に関して、スポンサー特別賞を受賞しました。
漸進的型付けに関するPPL2025でのカテゴリ2（国際既発表論文）発表
田邉が 第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025) にて、以下の既発表論文の発表を行います。本講演は2024年6月にデンマークで発表されたPLDI’24論文の内容に関するものです。
- Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. (PLDI’24)
Related posts
(さらに…)PPL2025で16件のポスターデモ発表
第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025) にて、以下の16件のポスター・デモ (カテゴリ3)発表を行いました。記録的な数ですね。
(さらに…)佐藤哲也氏による差分プライバシーの検証と形式化に関する第三回PL合同セミナー講演
数理・計算科学系のプログラミング関連の三研究室（南出・増原・叢研）がホストとなり、第三回PL合同セミナーを開催しました。第三回となる今回もオンライン含め40人以上の参加者が集まり、活発な議論が交わされました。
PL合同セミナーは主に関東圏のプログラミング言語理論の研究グループが持ち回りで開催している、研究室セミナーの拡大版です。若手研究者や学生が最近の研究成果や当該分野の紹介をします。
動的にバージョン検査を行うプログラミング言語Vythonに関する論文が論文誌に採録決定
糟谷、田邉、増原による論文「Dynamic Version Checking for Gradual Updating」が情報処理学会論文誌 プログラミングに採択されました。本論文はJournal of Information Processing からも出版されます。
Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings
以下の論文が 36th Symposium on Implementation and Application of Functional Languages (IFL 2024) の論文集に掲載されます。
- Youyou Cong, Hironori Kawazoe, and Hidehiko Masuhara. A Mostly CPS, Partly ANF Translation of Dependent Types.
林、吉尾、稲葉、熊本、松山、小西による卒業論文発表
6名の学部学生が卒業論文を発表しました。
(さらに…)木内と酒井による修士論文発表
木内と酒井が修士論文発表を行いました。研究内容のみならず、全員「聴衆を見て発表をしたで賞」に値する立派な発表態度でした。
(さらに…)