日 程 ： 2008年8月6日（水）
◎同時・連続開催
◆ARC（5日 15：45〜7日 19：00）
◆O S（6日 15：45〜7日 19：00）
◆HPC（5日 9：30〜7日 19：00）
◆PRO（6日 9：30〜6日 17：15）
◆EVA（6日 14：00〜6日 15：30）
会 場 ：アバンセ
〒840-0815 佐賀県佐賀市天神三丁目2-11 どんどんどんの森内
http://www.pref.saga.lg.jp/manabinetsaga/avance/
議 題 ：2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ （SWoPP佐賀2008）
8月6日（水）
● PRO-1 プログラム安全性［9:30 〜 11:00］
（1） コード変換によるディペンダブルな分散プログラムの自動生成
稲上克史，平木 敬（東大）
（2） 大規模システムソフトウェアのモデル検査器の設計と実装
松田元彦，前田俊行，米澤明憲（東大）
● PRO-2 コンパイラ技術［11:15 〜 12:45］
（3） コンパイラによるLinux 向けメモリ保護ドメインの利用支援
池田貴広，千葉雄司，土居範久（中央大）
（4） Ruby 用仮想マシンにおけるAOT コンパイラ
五嶋宏通，笹田耕一，三好健文，稲葉真理，平木 敬（東大）
● PRO-3 構文解析［14:00 〜 15:30］
（5） メモ化を用いた正規表現処理エンジンの実装
須賀功太，前田敦司，山口喜教（筑波大）
（6） 抽象構文木を生成するパーサジェネレータの効率的な実装
平崎昌志，木山真人，芦原 評（熊本大）
● PRO-4 大規模並列プログラム［15:45 〜 17:15］
（7） モデル図とコードを併用する大規模並列プログラミングの支援環境
谷口和也，松本真樹，佐々木敬泰，大野和彦，近藤利夫（三重大），中島 浩（京大）
（8） ヘテロな大規模並列環境の階層型タスクスケジューリングの提案と評価
松本真樹，片野 聡，佐々木敬泰，大野和彦，近藤利夫（三重大），中島 浩（京大）
※その他詳細は、SWoPP ホームページ http：//www.hpcc.jp/swopp/ をご覧下さい。
※お問い合わせは、SWoPP2008 実行委員 <swopp08-secretary at hpcc.jp> までお願いします。