初心者向けプログラミング環境に関する 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” と題する発表を行います。
REBLSにて永続的リアクティブプログラミング言語に関する発表
紙名、青谷、増原による論文 “Managing Persistent Signals using Signal Classes” が7th Workshop on Reactive and Event-based Languages & Systems (REBLS 2020) にて発表されました。
新美が情報処理学会コンピュータサイエンス領域奨励賞を受賞
新美和生が2020年度情報処理学会コンピュータサイエンス領域奨励賞を受賞しました。受賞した研究発表は本年1月の情報処理学会プログラミング研究会における発表「Lift中間言語における動的長配列の追加」です。
同賞は情報処理学会コンピュータサイエンス領域に所属する研究会および研究会主催シンポジウムにおける研究発表のうちから特に優秀な研究発表を行った若手会員に贈呈されるものとされ、本年度の受賞者は18名でした。
10月29日に行われた第131回プログラミング研究発表会の席上で表彰を受けました。