| 日 程 | 平成18年6月1日(木) |
| 会 場 | 産業技術総合研究所 秋葉原サイト 共同会議室 （東京都千代田区外神田1-18-13 秋葉原ダイビル11階） |
| 担 当 | 南出 靖彦（筑波大学）・小川 宏高（産業技術総合研究所） |
| 問い合わせ先 南出靖彦 (minamide @ cs. tsukuba. ac. jp) | |
| 10:30-11:15 | Java向けヒープに対する不正参照のページ保護による検出 千葉 雄司（日立製作所） |
| 11:15-12:00 | ユーザ入力の構文木解析によるSQLインジェクション攻撃防御法 金子 佳樹, 岩崎 英哉 （電気通信大学） |
| 12:00-13:30 | 昼休み |
| 13:30-14:15 | ソフトウェア・パイプライニングの一実現法 中田 育男（法政大学） |
| 14:15-15:00 | Join Tokens --- オブジェクト間相互作用記述のための言語機構 西森 丈俊, 久野 靖（筑波大学） |
| 15:00-15:15 | 休憩 |
| 15:15-16:00 | Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking 藤田 裕久, 深町 司郎, 中田 明夫, 東野 輝夫（大阪大学） |
| 16:00-16:45 | Program Transformation by Templates: A Rewriting Framework 千葉 勇輝, 青戸 等人, 外山 芳人（東北大学） |
| 16:45-17:30 | あいまい性が強い文脈自由文法の枝刈りに基づく効率的な構文解析 森本 真一（NEC航空宇宙システム）, 石畑 清, 疋田 輝雄（明治大学） |