３月５日(水) 20:30-21:35 (ショートプレゼンテーションのみ)
セキュリティプロトコルの略式表現からspi calculusへの変換
立沢秀晃 (東京大学)
例外処理機構を備えた手続き型言語のCPS変換とその定式化
大根田裕一 (東京大学)
Javaバイトコードのための情報流解析
吉林和明 (東京工業大学)
アスペクト指向言語におけるデータフローポイントカットの提案
河内一了 (東京大学)
情報流解析のための様相論理
宮本賢治，五十嵐淳 (京都大学)
多ノード間ファイル同期アルゴリズムの設計と実装
星野喬 (東京大学)
逐次プログラムの効率的な半自動並列化
早津政和 (東京大学)
属性付き木変換理論のXML変換器への応用
中野圭介 (京都大学)
３月６日(木) 20:00-22:00 (ショートプレゼンテーションおよびポスター・デモ)
Javaアプリケーション組み込み用のLisp処理系
中野嘉久 (京都大学)
MzSchemeにおけるスタックのコピーを遅延する継続の生成
皆川宜久 (京都大学)
Java上のScheme処理系における安全かつ動的なオブジェクトシステムの実装
恩田崇 (京都大学)
拡張と変形に適したS式ベースC言語の設計と実装
平石拓 (京都大学)
Lazy Partitioning of Sequential Programs
八杉昌宏 (京都大学)
局所性を高める階層的コピーGC方式
八杉昌宏 (京都大学)
Relaxing the value restriction
Jacques Garrigue (京都大学)