13:00-13:45 多値モデル検査を用いたモデル化の誤りの発見 辰巳淳朗,亀山幸義(筑波大) 13:45-14:30 GDB とシステムモデルを用いたソースコード検証器の開発 永藤直行(東工大) 14:30-15:15 Python・Ruby による分散協調スレッドのための low-intrusive なデバッグ機能 小菅圭介,小倉正充,佐藤規男(金沢工大) 15:15-15:30 休憩 15:30-16:15 WSRF/JMX による Grid 環境の統一的な管理機能の実装 金光永煥,浦野義頼(早稲田大) 16:15-17:00 スレッドライブラリへの抽象状態同期の導入 大木敦雄,久野靖(筑波大)
10:15-11:00 エンドユーザチームプログラミング環境 Robogram-STUDIO 上野和風,村岡洋一(早稲田大) 11:00-11:45 頻出メソッド管理テーブルを用いた invokeinterface 命令の実行高速化手法 藤本勝平(早稲田大),小松秀昭,古関聰(IBM),深澤良彰(早稲田大) 11:45-12:30 コンパイル速度の向上を目指した非反復型レジスタ割付け手法 小川健一,片岡 正樹(早稲田大),小松秀昭,古関聰(IBM),深澤良彰(早稲田大) 12:30-13:30 昼休み 13:30-14:15 リージョン変数の動的なエイリアス判定によるメモリ効率向上 米田匡史,鵜川 始陽,花井 亮,八杉 昌宏,湯淺 太一(京大) 14:15-15:00 Java における例外処理の実行時情報を利用した最適化 廣澤健,片岡 正樹(早稲田大),古関聰,小松秀昭(IBM),深澤良彰(早稲田大) 14:45-15:00 休憩 15:15-16:00 分散オブジェクト技術によるプログラムのπ計算への変換 山口 将志,加藤 暢,樋口 昌宏(近畿大) 16:00-16:45 [発表キャンセル] WEB オントロジを型に導入した言語設計 倉光君郎(横浜国大)