member – ページ 5 – プログラミング研究室

About member

View all posts by member

Yusuke Izawa, Hidehiko Masuhara, and Carl Friedrich Bolz-Tereick. Two-level Just-in-Time Compilation with One Interpreter and One Engine. [paper]

以下の論文が 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]

斉藤がThe 17th Theorem Proving and Provers meeting (TPP 2021)にてモナド的等式推論に関するスライド発表をしました。

高橋修祐，伊澤侑祐，増原英彦，叢悠悠. データ構造ライブプログラミングのための言語実現フレームワークに基づくオブジェクトグラフ収集手法
- この研究は前回の研究会で発表されたものを進展させたものです。また、同時に投稿された論文が論文誌に採録されることが決定しました。
伊澤侑祐，堀江倫大*，緒方一則*，千葉立寛*. Java 静的コンパイラを用いた Quarkus フレームワークの性能評価
- この発表は伊澤がIBM東京基礎研究所(*)で行ったインターンシップの成果に基づいています。

荒井らが日本ソフトウェア科学会第38回大会でSchemeからWebAssemblyへのコンパイラに関する論文を発表しました。

荒井滉平, 増原英彦, 叢悠悠. WebAssemblyを対象にしたSchemeコンパイラの作成に向けて

津山、角田、竹内も同大会でポスター発表を行いました。

津山勝輝, 叢悠悠, 増原英彦. 型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて(PDF)
角田和広, 増原英彦, 叢悠悠. エラーを起こさせる初学者向けプログラミングドリルの提案(PDF)
竹内史, Raffi Khatchadourian, 叢悠悠. Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language

以下の研究が情報処理学会第135回プログラミング研究発表会で発表されます。

高橋修祐, 伊澤侑祐, 増原英彦, 叢悠悠. 言語実現フレームワークに基づく汎言語的オブジェクトグラフ収集手法

第16回オブジェクト指向言語・プログラム・システムの実現・コンパイラ・最適化に関するワークショップ(ICOOOLPS’21) (ECOOP’21に併設)にて以下の発表を行いました.

Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, and Youyou Cong. “Threaded Code Generation with a Meta-tracing JIT Compiler”. [pre-print]