PPL 2015カテゴリ1，2，4採択論文・発表リスト（順不同）
カテゴリ1
- 坂口和彦
並列代入に対する代入補題の自動証明
- 門脇香子, 浅井健一
Agda による型推論器の定式化
- Tetsuo Yokoyama, Robert Glück
A Reversible Efficient Self-Interpreter
- 村岡大輔, 八杉昌宏, 平石拓タスク並列言語Tascellにおけるノード間通信のMPIによる実装
- 寄高啓司, 松井健, 八杉昌宏, 平石拓ワークスティールフレームワーク向け確率的ガードの提案と性能解析
- 叢悠悠, 浅井健一, 戸次大介shift/reset を用いた stepper の実装に向けて
- 木下郁章, 山本和彦. Haskellでの合成可能なオブジェクトの構成とその応用
- 市川和央, 千葉滋内部DSLの有効範囲を制御するための言語機構の提案
- Qi Tan, Kohei Suenaga, Atsushi IgarashiA Behavioral Type System for Memory-Leak Freedom
- 神谷智晴, 丸山剛寛, 大野和彦GPGPU処理系におけるカーネル関数内のコード変換によるスレッドマッピング機構の改良
- 村井涼, 五十嵐淳, 中澤巧爾高階契約を持つプログラミング言語に対するトレース意味論
- 鈴木健一, オレッグ・キセリョーヴ, 亀山幸義ついにSQLを組み立てる: 拡張可能で安全な統合言語クエリ
- 上田やよい, 浅井健一Call-by-Value でのパラメトリシティ
- 森口草介, 高橋和子レコードの拡張を許す対話的修正機構
- Jun Inoue, Oleg Kiselyov, Yukiyoshi KameyamaThe Next Stage of Staging
- キセリョーヴ・オレッグ引用と1億倍高速化の物語: 関数プログラミングによるKleene第二再帰定理の証明
- 島貫健太郎, 青戸等人, 外山芳人書き換え規則の重なりに基づく到達可能性判定法
- Kimio KuramitsuPEG4d: Trans-Parsing with PEGs
カテゴリ2
- 佐藤 哲也
Identifying All Preorders on the Subdistribution Monad
Mathematical Foundations of Programming Semantics, Thirtieth Conference
Electronic Notes in Theoretical Computer Science Volume 308 Pages 309--327
-
Maximilian Scherr, Shigeru Chiba
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding
In Proceedings of the 28th European Conference on Object Oriented Programming (ECOOP 2014), LNCS 8586, Springer, pp. 385-410, 2014
-
David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay Saraswat, Mikio Takeuchi, and Olivier Tardieu
Resilient X10: Efficient Failure-Aware Programming
Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'14), pp. 67--80, 2014.
-
Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi
Verifying Relational Properties of Functional Programs by First-Order Refinement
PEPM '15: The 2015 Workshop on Partial Evaluation and Program Manipulation
-
Kouhei Sakurai, Hidehiko Masuhara
The Omission Finder for Debugging What-Should-Have-Happened Bugs in Object-Oriented Programs
To appear in: ACM SAC 2015, April 13-17, 2015
-
紙名 哲生, 青谷 知幸, 増原 英彦
Generalized Layer Activation Mechanism Through Contexts and Subscribers
MODULARITY'15（掲載予定）
カテゴリ4
-
オレッグ・キセリョーヴ
最終ムダなし形式におけるドメイン特化言語最適化
-
江木聡志
パターンマッチ指向プログラミング言語Egisonチュートリアル
-
岡部 究
ATSプログラミングチュートリアル
-
勝股審也
モナド、代数理論と計算効果
