PPL2015プログラム(暫定版) -: カテゴリ1 (25分) 18件 #: カテゴリ2 (20分) 6件 *: カテゴリ4 (30分) 3件 **: カテゴリ4 (60分) 1件 1日目 13:30--18:10 ================== 13:30--13:40 (10分) オープニング 13:40--14:55 (75分) 定理証明 - 森口草介, 高橋和子. レコードの拡張を許す対話的修正機構 - 坂口和彦. 並列代入に対する代入補題の自動証明 - 門脇香子, 浅井健一. Agda による型推論器の定式化 14:55--15:10 (15分) 休憩 15:10--16:10 (60分) 招待講演(1) Chung-Kil Hur. Formal C semantics and LLVM compiler validation 16:10--16:25 (15分) 休憩 16:25--17:40 (75分) モナド・意味論 * 勝股審也. モナド、代数理論と計算効果 # Tetsuya Sato. Identifying All Preorders on the Subdistribution Monad - 村井涼, 五十嵐淳, 中澤巧爾. 高階契約を持つプログラミング言語に対するトレース意味論 17:40--18:10 (30分) ポスター・デモ紹介(1) 2日目 午前 9:00--11:30 ===================== 9:00--10:00 (60分) 招待講演(2) 橋本 和幸. 1980年代のLispマシンSymbolicsとその開発環境Genera 10:00--10:15 (15分) 休憩 10:15--11:30 (75分) 並列計算 - 神谷智晴, 丸山剛寛, 大野和彦. GPGPU処理系におけるカーネル関数内のコード変換によるスレッドマッピング機構の改良 - 村岡大輔, 八杉昌宏, 平石拓. タスク並列言語Tascellにおけるノード間通信のMPIによる実装 - 寄高啓司, 松井健, 八杉昌宏, 平石拓. ワークスティールフレームワーク向け確率的ガードの提案と性能解析 2日目 午後 13:00--18:45 ====================== 13:00--14:20 (80分) 関数型プログラミング * 江木聡志. パターンマッチ指向プログラミング言語Egisonチュートリアル - 木下郁章, 山本和彦. Haskellでの合成可能なオブジェクトの構成とその応用 - キセリョーヴ・オレッグ. 引用と1億倍高速化の物語: 関数プログラミングによるKleene第二再帰定理の証明 14:20--14:35 (15分) 休憩 14:35--15:45 (70分) 開発ツール etc. - 叢悠悠, 浅井健一, 戸次大介. shift/reset を用いた stepper の実装に向けて # Kouhei Sakurai, Hidehiko Masuhara. The Omission Finder for Debugging What-Should-Have-Happened Bugs in Object-Oriented Programs - 上田やよい, 浅井健一. Call-by-Value でのパラメトリシティ 15:45--16:00 (15分) 休憩 16:00--16:50 (50分) DSL(1) ** オレッグ・キセリョーヴ. 最終ムダなし形式におけるドメイン特化言語最適化 16:50--17:05 (15分) 休憩 17:05--18:15 (70分) DSL(2) - 鈴木健一, オレッグ・キセリョーヴ, 亀山幸義. ついにSQLを組み立てる: 拡張可能で安全な統合言語クエリ # Maximilian Scherr, Shigeru Chiba. Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding - 市川和央, 千葉滋. 内部DSLの有効範囲を制御するための言語機構の提案 18:15--18:45 (30分) ポスター・デモ紹介(2) 3日目 午前 9:00--11:25 ===================== 9:00-- 9:50 (50分) 逆計算・書換え系 - Tetsuo Yokoyama, Robert Glück. A Reversible Efficient Self-Interpreter - 島貫健太郎, 青戸等人, 外山芳人. 書き換え規則の重なりに基づく到達可能性判定法 9:50--10:10 (20分) 休憩 10:10--11:25 (75分) 型システム * 岡部 究. ATSプログラミングチュートリアル - Qi Tan, Kohei Suenaga, Atsushi Igarashi. A Behavioral Type System for Memory-Leak Freedom # Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi. Verifying Relational Properties of Functional Programs by First-Order Refinement 3日目 午後 13:00--15:10 ====================== 13:00--13:40 (40分) 言語拡張 # David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay Saraswat, Mikio Takeuchi, Olivier Tardieu. Resilient X10: Efficient Failure-Aware Programming # Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara. Generalized Layer Activation Mechanism Through Contexts and Subscribers 13:40--13:50 (10分) 休憩 13:50--14:40 (50分) メタプログラミング - Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama. The Next Stage of Staging - Kimio Kuramitsu. PEG4d: Trans-Parsing with PEGs 14:40--15:10 (30分) クロージング