第95回PRO研究発表会（SWoPP2013）

第95回プログラミング研究発表会（SWoPP2013）

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

  • 研究会に登録されている方
    研究報告は開催初日の1週間前（＝公知日）に電子図書館と当日用サイト（登録会員用）で公開します。

  • 研究会に登録されていない方
    当日受付で資料閲覧用のアカウント情報（URL，ID，PW）をお渡しいたします。
    尚、研究会にご登録いただくことで当研究会のバックナンバーも含めて全て電子図書館でご購読いただけます。登録に関しては  「研究会に登録する」のページをご参照ください。

プログラム

2013年並列／分散／協調処理に関する『北九州』サマー・ワークショップ
（SWoPP北九州2013）

日　　時　：　2013年7月31日（水）～8月1日（木）
            ◎同時・連続開催
            ◆ARC （31日 09：30～1日 16：45） B会場
            ◆O S  （31日 09：30～1日 15：00） C会場
            ◆HPC （31日 09：30～2日 19：00） A会場

場　　所　：　北九州国際会議場（〒802-0001 福岡県北九州市小倉北区浅野3-9-30）
             

8月2日（金）

● PRO-1 プログラミング言語（9:00 ～ 10:30）
（1） † 強力でコンポーザブルな構文拡張機能を持つプログラミング言語
      市川和央，千葉滋(東大)
（2） Layer Refinement in L
      Robert Hirschfeld(HPI-UniPotsdam)，Atsushi Igarashi(Koyto Univ.)，
      Hidehiko Masuhara(Tokyo Tech)

● PRO-2 デバッガ、処理系（10:45 ～ 12:15）
（3） Fast Debugger Features to Trace Forked Processes of Ruby and Python Parallel Applications
      佐藤規男(金沢工大)
（4） † JavaScript 実行環境におけるC 言語プログラムの実行基盤
      松村哲郎，志田駿介，井出真広，倉光君郎(横浜国立大)

● PRO-3 システム運用（13:30 ～ 15:00）
（5） エラー診断に基づく例外処理機構の設計
      井出真広，倉光君郎(横浜国立大)
（6） †タスクスケジューリング問題の厳密解求解における探索ノード数削減アルゴリズム
      中村あすか，前川仁孝（千葉工大）

● PRO-4 分散並列処理（15:15 ～ 16:45）
（7） †CUDA によるランダムスパース方程式求解の命令レベル並列性を用いた高速化手法
      富永浩文，前川仁孝（千葉工大）
（8） Accumulative Computation on MapReduce
      劉　雨（総研大），江本健斗（九工大），松崎公紀（高知工科大），胡　振江（NII）

● PRO-5 検証（17:00 ～ 17:45）
（9） 組込みシステムを対象とした線形ハイブリッドオートマトンのモデル検査器の開発と検証
      冨坂征平，柳瀬龍，小野祐貴，山根智（金沢大）


†：コンピューターサイエンス領域奨励賞の審査対象となる発表です

※その他詳細は、SWoPP ホームページ 　http://www.hpcc.jp/swopp/　をご覧下さい。
※お問い合わせは、SWoPP2013組織委員会 <swopp13-secretary at hpcc.jp> までお願いします。