※ 1件あたり45分 (発表25分，質疑・討論20分)
発表の順番はこれで確定とします．
11月10日(月)
セッション１：10:00-12:15
2014-3-(1) 10:00 - 10:45
Unified Memoryを利用したCUDAプログラミングと性能評価
○土井 淳, 今井 晴基 (日本アイ･ビー･エム株式会社 東京基礎研究所) 【English】
2014-3-(2) 10:45 - 11:30
Ruby向けトレース方式Just-in-timeコンパイラの設計と実装
○井出 真広 (横浜国立大学大学院) 【English】
2014-3-(3) 11:30 - 12:15
Rubyにおけるライトバリアのないオブジェクトを考慮した世代別インクリメンタルGCの実装
○笹田 耕一, 松本 行弘 (Heroku, Inc.) 【English】
12:15-13:30 昼食
セッション２：13:30-15:00
2014-3-(4) 13:30 - 14:15
Tracing Packrat Parsing
○倉光 君郎 (横浜国立大学) 【English】
2014-3-(5) 14:15-15:00
挿抜可能メソッドに基づく統一的な抽象単位複合機構
○久野 靖 (筑波大学ビジネスサイエンス系) 【English】
15:00-15:15 休憩
セッション３：15:15-16:30
CS領域奨励賞授与式
パネルセッション「PROのこれまで目指したことと目指すべきもの」
登壇者（予定）：
萩谷 昌己（東京大学）
上田 和紀（早稲田大学）
河内谷 清久仁（日本アイ･ビー･エム株式会社）
南出 靖彦（筑波大学；主査）
西崎 真也（東京工業大学；司会）
18:00 - 20:00 懇親会
11月11日(火)
セッション4：09:30 - 11:00
2014-3-(6) 09:30 - 10:15
CにLuaを容易に埋め込むための言語LuCa
○谷村 明, 岩崎 英哉 (電気通信大学大学院 情報理工学研究科) 【English】
2014-3-(7) 10:15 - 11:00
C#プログラム実行時書き換えによるコンテキスト指向プログラミングの実現
○谷川 郁太 (東海大学), 小倉 信彦 (東京都市大学), 菅谷 みどり (芝浦工業大学), 渡辺 晴美 (東海大学)【English】
11:00-11:15 休憩
セッション5：11:15 - 12:45
2014-3-(8) 11:15 - 12:00
グラフ問題を効率的に解くためのハードウェアトランザクショナルメモリの利用
○小林 哲, 佐藤 重幸, 岩崎 英哉 (電気通信大学大学院情報理工学研究科) 【English】
2014-3-(9) 12:00 - 12:45
A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem
○長島 正憲, 加藤 友郁, 酒井 正彦, 西田 直樹 (名古屋大学) 【English】