第115回PRO研究発表会（SWoPP2017）

標記の研究発表会はペーパレスで行います（貸し出し用のUSBメモリもご用意しています）。

日　程　：　2017年7月28日（金）
会　場　：　秋田アトリオンビル 多目的ホールBC （〒010-0001 秋田市中通2-3-8）

◎同時・連続開催
  ◆ARC （26日～28日） 多目的ホールA
  ◆OS 　（26日～27日） 多目的ホールBC　
  ◆HPC （26日～28日） 3F研修室BCD

※その他詳細は、SWoPP ホームページ をご覧下さい。
※お問い合わせは、SWoPP2017組織委員会 <swopp-sigkanji "at" googlegroups.com>
 までお願いします。

7月28日(金)　

［09:00-10:30］●ハードウェア　　　座長：八杉 昌宏（九工大）
（1） SPINで弱いメモリ順序のメモリモデルでのプログラムの実行をモデル検査するためのライブラリの改良
  ○松元 稿如，鵜川 始陽（高知工科大），安部 達也（千葉工業大）

（2） RL78マイコン向けCコンパイラによる多倍長整数演算の最適化
  ○千葉 雄司（日立製作所），永井 佑樹（日立ソリューションズ），中川 満（ルネサスシステムデザイン）      

［10:45-12:15］●効率化　　　座長：松崎 公紀（高知工科大）
（3） 分散環境での並列グラフマイニングにおけるタスク中断処理による冗長探索削減
  奥野 伸吾，○平石 拓，中島 浩（京大），八杉 昌宏（九工大），瀬々 潤（産総研）

（4） Callpath Dependent Inline Caching for Object-oriented Languages with Class Extensions
  ○張 威，千葉 滋（東大）      

［12:15-13:30］○お昼休み

［13:30-15:00］●プログラミング言語　　　座長：馬谷 誠二（京大）
（5） Packrat Parsingを用いたC言語用構文解析ライブラリの実装
  ○杉本 優太，前田 敦司（筑波大）

（6） 複数の局所クロックを持つ時間プッシュダウン・オートマトン
  ○上里 友弥（筑波大）      

［15:15-17:00］●言語処理系　　　座長：窪田 昌史（広島市大）
（7） Reducing Memory Fences in a Copying Garbage Collector of Java for Weak Memory Models
  ○堀井 洋，堀江 倫大（日本アイ・ビー・エム）

（8） HOPEコンパイラのプロトタイプ実装
  ○重本 孝太，八杉 昌宏（九工大），平石 拓，馬谷 誠二（京大）

（9） 分散集合ライブラリを用いた人工市場シミュレーションにおける通信と計算のオーバラップ実現
  ○藤島 大輔，鎌田 十三郎，長門 広洋，高木 由美，太田 能（神戸大）