情報処理学会 プログラミング研究会

第70回 2008-08-05 ~ 2008-08-07 アバンセ 佐賀市天神どんどんどんの森 (SWoPP佐賀2008)

(70-1) コード変換によるディペンダブルな分散プログラムの自動生成
    稲上 克史,平木 敬 (東京大学)
(70-2) 大規模システムソフトウェアのモデル検査器の設計と実装
    松田 元彦,前田 俊行,米澤 明憲 (東京大学)
(70-3) コンパイラによる Linux 向けメモリ保護ドメインの利用支援
    池田 貴広,千葉 雄司,土居 範久 (中央大学)
(70-4) Ruby 用仮想マシンにおける AOT コンパイラ
    五嶋 宏通,笹田 耕一,三好 健文,稲葉 真理,平木 敬 (東京大学)
(70-5) メモ化を用いた正規表現処理エンジンの実装
    須賀 功太,前田 敦司,山口 喜教 (筑波大学)
(70-6) 抽象構文木を自動生成するパーサジェネレータの効率的な実装
    平崎 昌志,木山 真人,芦原 評 (熊本大学)
(70-7) モデル図とコードを併用する大規模並列プログラミングの支援環境
    谷口 和也,松本 真樹,佐々木 敬泰,大野 和彦,近藤 利夫 (三重大学),中島 浩 (京都大学)
(70-8) ヘテロな大規模並列環境の階層型タスクスケジューリングの提案と評価
    松本 真樹,片野 聡,佐々木 敬泰,大野 和彦,近藤 利夫 (三重大学),中島 浩 (京都大学)