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

About member

View all posts by member

第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”が発表されます。

陳忻らが日本ソフトウェア科学会第37回大会においてSanajehの論文を発表しました。

Sanajeh: A DSL for GPGPU programming with Python objects (J.Chenxin、H.Masuhara、M.Springer、Y.Cong)

同大会では研究室メンバーによる以下のポスター発表も行われました。 (さらに…)

新美和生と増原英彦による論文『Lift中間表現における動的長配列の追加』が情報処理学会論文誌プログラミング (PRO92)に採択されました。

申し訳ありません、このコンテンツはただ今　English　のみです。

以下のメンバーがPPL2020でポスター・デモ発表をします．

Agda による対位法の定式化 (Youyou Cong)
Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level (Yusuke Izawa)
コエフェクト多相性に基づいた版多相性の実現 (Yudai Tanabe)
ACKN: A context-aware keyword programming system (poster) (Aochi Shu)
Object-oriented Programming with Versions (Luthfan Lubis)
Sanajeh: a DSL for GPGPU programming with Python objects (Jizhe Chenxin)
Lift中間言語における動的長配列の追加 (Kazuki Niimi)
デザインレシピに沿ったプログラミング環境の実装 (Junya Nose)

申し訳ありません、このコンテンツはただ今　English　のみです。

申し訳ありません、このコンテンツはただ今　English　のみです。

伊澤、田辺、叔が数理・計算科学コースの修士論文発表会で発表しました。

伊澤侑祐, Stack Hybridization: A Mechanism for Bridging Two Compilation Strategies in a Meta JIT Compiler Framework (PDF)
田辺裕大, 版を扱えるプログラミング言語λ VLへの型・版多相性の導入の研究 (PDF)
叔驁馳, Improving keyword programming by using neural text generation (PDF)

Lift中間表現における動的長配列の追加(新美、増原)が情報処理学会第127回プログラミング研究発表会で発表されます。

日本ソフトウェア科学会第36回大会において以下の研究発表を行いました。

ASTToken2Vec: An Embedding Method for Neural Code Completion. (Li, 増原) (PDF)
A Stack Hybridization for Meta-hybrid Just-in-time Compilation. (伊澤, 増原, 青谷, 叢) (PDF)