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

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