カテゴリー: news
Fathul、荒井、能勢による修士論文発表
研究室メンバによる修士論文の発表が行われます。
- Fathul Asrar Alfansuri, Supporting Multiple Inheritance in a Python DSL for GPGPU
- 荒井 滉平、仮想機械語を用いた第一級継続の実現方法とその比較
- 能勢純弥、Mio:プログラムデザインを支援するブロック学習環境
ライブプログラミング環境Kanonの実現方式に関する研究が情報処理学会論文誌に採録決定
高橋 修祐と伊澤 侑祐，増原 英彦，叢 悠悠による論文「データ構造ライブプログラミングのための言語実現フレームワークに基づくオブジェクトグラフ収集手法」が情報処理学会論文誌プログラミング に採録されます。同学会英文論文誌Journal of Information Processingにも掲載されます。
この論文は2021年11月1日に行われた情報処理学会第136回プログラミング研究発表会で発表されたものです。
Intrinsically-typed Interpreterに関する発表(@WITS’22)
以下の発表がPOPL22国際会議に併設されるthe first International Workshop on the Implementation of Type Systems (WITS’22)に採択されました。
- Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara. Intrinsically-typed Interpreter for Effectful Languages (discussion)
適応的メタJITコンパイラに関する論文 (@ PEPM’22)
以下の論文が The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) に採択されました。
- Yusuke Izawa, Hidehiko Masuhara, and Carl Friedrich Bolz-Tereick. Two-level Just-in-Time Compilation with One Interpreter and One Engine. [paper]
適応的メタJITコンパイラに関するJOT論文
以下の論文が The Journal of Object Technology (JOT) Special Issue for ICOOOLPS 2021 (JOT ICOOOLPS 21) に採録されました。
- Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, and Youyou Cong. Threaded Code Generation with a Meta-Tracing JIT Compiler. [paper]
モナド的等式推論に関する発表（＠TPP2021）
斉藤がThe 17th Theorem Proving and Provers meeting (TPP 2021)にてモナド的等式推論に関するスライド発表をしました。
- 斉藤歩夢, Reynald Affeldt. 定理証明支援系Coqでのモナドを用いたクイックソートの形式化とMonaeの拡張
情報処理学会プログラミング研究会にてライブプログラミング環境の実現方式に関する発表とネイティブイメージコンパイラの性能評価に関する発表
第136回情報処理学会プログラミング研究発表会で2件の発表を行います。
- 高橋修祐，伊澤侑祐，増原英彦，叢悠悠. データ構造ライブプログラミングのための言語実現フレームワークに基づくオブジェクトグラフ収集手法
- この研究は前回の研究会で発表されたものを進展させたものです。また、同時に投稿された論文が論文誌に採録されることが決定しました。
- 伊澤侑祐，堀江倫大*，緒方一則*，千葉立寛*. Java 静的コンパイラを用いた Quarkus フレームワークの性能評価
- この発表は伊澤がIBM東京基礎研究所(*)で行ったインターンシップの成果に基づいています。
2名の学生が新たに研究室に加わりました
この秋は2名の学生が新たに研究室に加入しました。
- Rifqi Adil Apriyadi (Master’s course, IGP(C))
- Jacob Lindahl (Master’s course, IGP(C))
両名ともに日本への入国が許されるのを待っている状態ですが、遠隔会議を活用してすでに研究活動を精力的に始めています。早期に渡日がかない、さらに研究が加速させることを願っています。
ソフトウェア科学会でSchemeからWebAssemblyへのコンパイラに関する発表と3件のポスター発表
荒井らが日本ソフトウェア科学会第38回大会でSchemeからWebAssemblyへのコンパイラに関する論文を発表しました。
- 津山勝輝, 叢悠悠, 増原英彦. 型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて(PDF)
- 角田和広, 増原英彦, 叢悠悠. エラーを起こさせる初学者向けプログラミングドリルの提案(PDF)
- 竹内史, Raffi Khatchadourian, 叢悠悠. Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language
