日 時: 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処理系および他言語インタフェースの設計と実装
原 耕司、水野 謙、矢島伸吾、永田貴彦、中島 求、加藤紀夫、上田和紀(早大)