第 57 回プログラミング研究会 プログラム

(発表 12 件 ⇒ 1 件キャンセルにより 11 件)

1 月 16 日 (月)

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  スレッドライブラリへの抽象状態同期の導入
             大木敦雄,久野靖(筑波大)

1 月 17 日 (火)

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 オントロジを型に導入した言語設計
             倉光君郎(横浜国大)