PPL 2014 Accepted Papers (申込順)
森畑明昌. 漸増計算法の第三リスト準同型定理による系統的導出
鈴木康平, 松本真樹, 大野和彦. 大規模ワークフロー用スケジューラ実装のためのライブラリ設計
中野陽基, 鵜川始陽. Dalvik VMにおける並行メモリ割当ての実現
漆原明博, 岩崎英哉, 鵜川始陽. サーバサイド向け JavaScript 処理系における Just In Time コンパイラの実装
内田和真, 青戸等人, 外山芳人. 永続性と減少ダイアグラム法に基づく合流性自動証明
塩田雅人, 岩崎英哉. ドメイン特化言語処理系実装支援ライブラリのメタプログラミングによる実現
鈴木貴樹, 菊池健太郎, 青戸等人, 外山芳人. 名目書き換えシステムの合流性について
浅井健一. MetaOCaml を使った自己反映言語のコンパイル
Kanae Tsushima, Olaf Chitil. Enumerating Counter-Factual Type Error Messages with an Existing Type Checker
叢悠悠, 浅井健一, 戸次大介. 限定継続を用いたフォーカスの分析と実装
松本雄磨, 小林直樹, 海野広志. 高階木変換器の自動検証のための反例発見と抽象化改良
澄川靖信, 小島量, 滝本宗宏. 質問伝播に基づくスカラー置換
山本華子, 戸次大介. Neighborhood-Sheaf Semanticsを用いた一階述語条件論理の意味論
阿部晃典, 住井英二郎. 単純かつ実用的な静的サイズ検査つき線形代数演算ライブラリ
四方駿作, 青戸等人, 外山芳人. 閉包操作に基づく右基底項書き換えシステムの到達可能性判定
斎藤皓, 上野雄大, 森畑明昌, 大堀淳. SML#のSQL統合機能への行集約機能の実装
山口洋, 千葉滋. より柔軟な非同期実行記述を可能にするライブラリのための新しい限定継続演算子に向けて
穂積俊平, 佐藤芳樹, 千葉滋. 科学技術計算における最適化に伴う分割の正しさを検査するユニットテストフレームワーク HPCUnit
佐藤重幸. 構文主導型値グラフ構築
Hideyuki Kawabata, Hideya Iwasaki. Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations