Paper & Poster presentation at PPL’21

Paper

The following paper will be presented at PPL’21.

  • Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework (Izawa, Masuhara) (published at DLS’20)
  • A Functional Abstraction of Typed Trails (Kenichi Asai, Cong, Chiaki Ishio) (published at PEPM’20)

Posters & Demos

The following posters & demos will be presented at PPL’21.

  • ライブデータ構造プログラミングの大規模データ利用のための改善 (Ogushi, Masuhara）
  • Effekt言語の双方向エフェクトによる拡張 (Niimi, Cong, Masuhara)
  • デザインレシピに基づいたプログラミングための開発環境の構築に向けて (Nose, Cong, Masuhara)

Posters

The following posters will be presented at PPL’21.

  • An Agda Formalization of Counterpoint (Cong)
  • An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (Izawa, Masuhara, Cong)
  • 代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明 (Ikemori, Cong, Masuhara)
  • Koka言語に対するエフェクト割り当て最適化 (Furudono, Cong, Masuhara)
  • 汎言語的ライブプログラミング環境のためのデータ構造解析手法 (Takahashi, Izawa, Masuhara, Cong)

(official site)

2021-03-09.
→
←