PPL 2021 におけるポスター賞受賞
以下の発表が PPL 2021 においてポスター賞として表彰されました。
- 叢 悠悠. Agda による対位法の形式化.
ポスターと Agda のコードがここに公開されています。
PPL’21にて論文・ポスター発表
申し訳ありません、このコンテンツはただ今 English のみです。
初心者向けプログラミング環境に関する Lambda Days 2021 での発表
以下の研究が Lambda Days 2021 に採択されました。
- Junya Nose, Youyou Cong, and Hidehiko Masuhara
Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach
池守、高橋、古殿による学士論文発表
研究室メンバの学士論文が発表されます。 (令和3年３月卒業 数理・計算科学系 学士論文発表会)
- 池守和槻, 代数的エフェクトを持つ計算体系F^effへのエフェクト強制の導入と健全性の証明 (PDF)
- 古殿直也, 代数的エフェクトを備えた関数型言語 Koka に対する、エフェクト割り当て最適化 (PDF)
- 高橋修祐, データ構造ライブプログラミング環境の汎言語的な構築手法 (PDF)
小串、新美、陳忻、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)
Springerが手島精一記念研究賞(博士論文賞)を受賞
本研究室で博士号を取得したMatthias Springerが令和2年度手島精一記念研究賞(博士論文賞)を受賞しました。博士論文賞は論文内容の独創性と研究の発展性の点で特に優れた博士論文を作成した者に、部門ごとに原則として各2件以内が選ばれるものです。
限定継続命令に関する PEPM ’21 論文
以下の論文が The Workshop on Partial Evaluation and Program Manipulation に採択されました。
- Kenichi Asai, Youyou Cong, and Chiaki Ishio
A Functional Abstraction of Typed Trails
APLAS’20にて増原がGPGPUのためのオブジェクト支援に関する基調講演
増原がthe 18th Asian Symposium on Programming Languages and Systems (APLAS 2020)において基調講演”Object Support for GPU Programming: Why and How“を行いました。
DLS’20にてメタ複合JITコンパイラに関する論文発表
第16回動的言語に関する国際シンポジウム (the 16th Dynamic Languages Symposium (DLS) co-located with SPLASH 2020) にてYusuke Izawa and Hidehiko Masuharaによる論文”Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework”が発表されます。
LIVE’20にて多言語・多開発環境ライブプログラミングに関する発表
Hidehiko Masuhara, Shusuke Takahashi, Yusuke Izawa and Youyou CongがLIVE 2020 ワークショップにて”Toward a Multi-Language and Multi-Environment Framework for Live Programming” と題する発表を行います。
