10:30-11:15 forkシステムコールを用いた並列ガーベジコレクション
佐藤 憲一郎 (神奈川大学大学院情報科学専攻)
松井 祥悟 (神奈川大学理学部)
11:15-12:00 実時間処理に適したメモリ管理を行うLisp処理系の設計と実装
森住 大樹 (京都大学大学院情報学研究科通信情報システム専攻)
小宮 常康 (豊橋技術科学大学 情報工学系)
八杉 昌宏 (京都大学大学院情報学研究科通信情報システム専攻)
湯淺 太一 (京都大学大学院情報学研究科通信情報システム専攻)
13:00-13:45 π計算に基づくプログラミング言語NepiのためのGUI機能
水野 敦 (名古屋大学大学院情報科学研究科)
真野 健 (NTTコミュニケーション科学基礎研究所)
河辺 義信 (NTTコミュニケーション科学基礎研究所)
桑原 寛明 (名古屋大学大学院情報科学研究科)
結縁 祥治 (名古屋大学大学院情報科学研究科，さきがけ研究21)
阿草 清滋 (名古屋大学大学院情報科学研究科)
13:45-14:30 ボードゲームBAOの CCS による記述と解析
稲畑 康博 (関西学院大学)
高橋 和子 (関西学院大学)
14:45-15:30 Python・Ruby記述の分散多重スレッドプログラム用部分停止型デバッガの開発
伊藤 泰 (金沢工業大学大学院情報工学専攻)
永井 和宏 (金沢工業大学大学院情報工学専攻)
小菅 圭介 (金沢工業大学情報工学科)
小倉 正充 (金沢工業大学情報工学科)
佐藤 規男 (金沢工業大学情報工学科，金沢工業大学大学院情報工学専攻)
15:30-16:15 オブジェクト指向プログラムの高速化を支援するプロファイラ
神尾 貴博 (東京大学大学院 総合文化研究科)
増原 英彦 (東京大学大学院 総合文化研究科)
16:15-17:00 X-ASB: A Framework for Implementing Extensible Aspect-oriented Programming Languages
鵜林 尚靖 (九州工業大学)
増原 英彦 (東京大学)
玉井 哲雄 (東京大学)
9:45-10:30 セキュリティプロトコルの略式記法からspi計算への変換
住井 英二郎 (ペンシルバニア大学コンピュータ情報科学科)
立沢 秀晃 (東京大学情報理工学系研究科コンピュータ科学専攻)
米澤 明憲 (東京大学情報理工学系研究科コンピュータ科学専攻)
10:30-11:15 抽象化と精密化による実時間モデル検査の改善
中島 一 (筑波大学大学院システム情報工学研究科)
亀山 幸義 (筑波大学 電子・情報工学系 および 科学技術振興機構)
11:15-12:00 不定元を含むストリーム計算の実現
杉原 佳次 (京都大学大学院人間・環境学研究科)
立木 秀樹 (京都大学大学院人間・環境学研究科)
13:00-13:45 オブジェクト指向に基づいた構文解析器構成法の提案
佐竹 力 (図書館情報大学)
中井 央 (筑波大学)
13:45-14:30 曖昧な文法を扱うコンパイラ・コンパイラ
小藤 哲彦 (電気通信大学大学院 電気通信学研究科 情報工学専攻)
竹内 郁雄 (電気通信大学 情報工学科)
14:45-15:30 型安全でないCプログラムのポインタ解析
千代 英一郎 (日立製作所システム開発研究所)
15:30-16:15 例外処理機構を備えた命令型言語のCPS変換とその定式化
住井 英二郎 (ペンシルバニア大学コンピュータ情報科学科)
大根田 裕一 (東京大学情報理工学系研究科コンピュータ科学専攻)
米澤 明憲 (東京大学情報理工学系研究科コンピュータ科学専攻)