日 時： 2004年7月30日（金） 9:30 〜 18:20
31日（土） 9:20 〜 18:30
8月 1日（日） 9:20 〜 17:00
◎同時・連続開催
◆ARC（30日
9：30 〜 31日 18：30 A会場）
◆O S（
1日 9：20 〜 1日 17：00 A 会場）
◆HPC（30日
13：20 〜 1日 16：50 B 会場）
◆PRO（30日 9：30
〜 31日 10：50 C 会場）
◆EVA（
1日 13：40 〜 1日 17：00 C 会場）
会 場： 青森市文化会館
〒030-0812 青森市堤町1-4-1
議 題： 2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ （SWoPP青森2004）
7月30日（金）
［09：30〜11：00］●PRO-1：並列化・並列メモリ管理
（1） ノンブロッキング型動的負荷分散を用いた並列ガーベージコレクション方式
前田宗則、中村 実、小沢年弘（富士通研）
（2） 実行時依存解析に基づく半自動並列化の効率的実装
早津政和、田浦健次朗、近山 隆（東大）
［11：10〜12：40］●PRO-2：プログラム解析・変換ツール
（3） Aspect-Oriented Design Patterns for a Java Bytecode Analyzer Framework
山崎 進、松本充広（FLEETS）、中西恒夫、北須賀輝明、福田 晃（九大）
（4） XMLを用いた言語間変換
柴田 有、平木 敬（東大）
［13：40〜15：10］●PRO-3：適応的ライブラリ
（5） テンプレート・メタ・プログラミングによるFFTの適応的最適化
神戸隆行（無所属）
（6） モード切替機構をもつ分散環境向け Java 集合ライブラリの提案
鎌田十三郎、森本昌治、二ッ森大介（神戸大）
［15：20〜16：50］●PRO-4：並行プログラムの型理論・検証
（7） 階層グラフ書換え言語における並行プロセスの型推論
加藤紀夫、上田和紀（早大）
（8） Verification of concurrent programs using the Coq theorem prover:
a case study
Reynald Affeldt（東大）、Naoki Kobayashi（東工大）
［17：00〜18：30］●PRO-5：プログラム解析
（9） Logic-based Binding Time Analysis for Java using Reaching Definitions
山崎 進（FLEETS）、神戸隆行（フリーランス）、松本充広（FLEETS）、中西恒夫、北須賀輝明、福田 晃（九大）
（10）例外依存関係を越える部分冗長性除去
大平 怜、平木 敬（東大）
7月31日（土）
［09：20〜10：50］●PRO-6：分散プログラミング環境
（11）NET Framework Based Grid Computing Environment
DE BONNAFOS, Joseph（基盤情報学）
（12）LMNtal処理系および他言語インタフェースの設計と実装
原 耕司、水野 謙、矢島伸吾、永田貴彦、中島 求、加藤紀夫、上田和紀（早大）