9:00-10:00 招待講演 座長:滝本宗宏 (東京理科大学)
ユビキタスコンピューティングの研究
佐藤一郎 (国立情報学研究所)
10:00-10:25 休憩
10:25-12:05 コンパイル技法とコード最適化(II) 座長:前田敦司 (筑波大学)
A Type System Equivalent to Static Single Assignment
松野裕, 大堀淳 (東北大学電気通信研究所)
出典:Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06) (掲載済)
Compiling ML Polymorphism with Explicit Layout Bitmap
Huu-Duc Nguyen, Atsushi Ohori (Research Institute of Electrical Communication, Tohoku University)
出典:Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06) (掲載済)
時相論理を用いたコンパイラ最適化器の実行の正しさの検査
佐原聡一郎, 佐々政孝 (東京工業大学 大学院情報理工学研究科数理・計算科学専攻)
正確なごみ集めを前提とした低水準の型付中間言語の設計
八杉昌宏 (京都大学情報学研究科)
12:05-13:05 昼食・休憩
13:05-14:45 並列プログラムと並列化 座長:上田和紀 (早稲田大学)
Automatic Inversion Generates Divide-and-Conquer Parallel Programs
森田和孝, 森畑明昌, 松崎公紀, 胡振江, 武市正人 (東京大学大学院情報理工学系研究科)
出典:ACM SIGPLAN 2007 Conference Programming Language Design and Implementation (掲載予定)
Towards Automatic Parallelization of Tree Reductions in Dynamic Programming
松崎公紀, 胡振江, 武市正人 (東京大学大学院情報理工学系研究科)
出典:18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006), Cambridge, MA, USA, July 30--August 2, 2006. (掲載済)
近傍要素を必要とするスケルトンプログラムの最適化
江本健斗, 松崎公紀, 胡振江, 武市正人 (東京大学大学院情報理工学系研究科)
π計算におけるセッションの構造化
今井敬吾, 結縁祥治, 阿草清滋 (名古屋大学情報科学研究科)
14:45-15:10 休憩
15:10-16:50 プログラム解析と検証 座長:増原英彦 (東京大学)
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
末永幸平(*), 小林直樹(**) (*東京大学, **東北大学)
出典:16th European Symposium on Programming (ESOP'07) (掲載予定)
型に基づくレース解析とその結果表示のためのスライシング
飯村枝里, 小林直樹, 末永幸平 (東北大学大学院情報科学研究科情報基礎科学専攻)
プログラムスライシングを用いた機能的関心事の抽出手法の提案と実装
仁井谷竜介(*), 石尾隆(*,**), 井上克郎(*) (*大阪大学大学院情報科学研究科, **Graduate School of Computer Science, University of British Columbia)
A Certified Verifier for a Fragment of Separation Logic
Nicolas Marti(*), Reynald Affeldt(**) (*東大, **産総研)
16:50-17:15 休憩
17:15-18:05 プログラム導出と変換 座長:青戸等人 (東北大学)
Lightweight Fusion by Fixed Point Promotion
大堀淳, 篠埜功 (東北大学電気通信研究所)
出典:ACM Symposium on Principles of Programming Languages (POPL), 2007. (掲載済)
プログラム運算によるグラフアルゴリズムの導出
森畑明昌, 胡振江, 武市正人 (東京大学大学院情報理工学系研究科)
18:30-20:00 夕食
20:00-22:00 カテゴリ3発表 座長:五十嵐淳 (京都大学),滝本宗宏 (東京理科大学)
ショートプレゼンテーション(◎はデモ発表付き)
mipl〜make in Prolog〜の設計方針及び実装について
野口真理子, 藤本尚子, 新出尚之, 鴨浩靖 (奈良女子大学)
◎証明木作成のための可視化システムに向けて
阪上紗里, 浅井健一, 伊藤貴之 (お茶の水女子大学)
Packrat Parsingのメモリ効率の改善手法
水島宏太, 前田敦司 (筑波大学大学院システム情報工学研究科)
合成モナドのためのcall/ccに対する改善の提案
米澤拓央 (筑波大学)
SC言語処理系を用いたオブジェクト指向言語の実現
花岡俊行(*), 平石拓(**), 八杉昌宏(**), 湯淺太一(**) (*京都大学工学部情報学科, **京都大学大学院情報学研究科)
◎階層グラフ可視化ツール"UNYO-UNYO"(うにょうにょ)の設計と実装
中野敦(*), 上田和紀(**) (*早稲田大学大学院理工学研究科情報・ネットワーク専攻, **早稲田大学理工学術院コンピュータ・ネットワーク工学科)
再帰クラスの自然で型安全な拡張のための汎用クラス機構の型システムの改良
齊藤智恵理, 五十嵐淳 (京都大学大学院情報学研究科)
ポスター(◎はデモ発表付き)
XQueryへの融合変換適用の機会と制限
日高宗一郎, 加藤弘之 (国立情報学研究所)
拡張C言語XC-cubeのx86-64上の実装
篠原丈成(*), 八杉昌宏(**), 馬谷誠二(**), 湯淺太一(**) (*京都大学工学部情報学科, **京都大学大学院情報学研究科)
◎XMLのためのストリーム処理プログラム生成器X-P
佐藤修二, 末永幸平, 小林直樹 (東北大学大学院情報科学研究科)
Evaluating Parallel Tree Reduction Algorithm with Introducing an Approach for Random Tree Generation
筧一彦 (東京大学産学連携本部)
類似プログラムの提示ツールSelene
渡邉卓也, 増原英彦 (東京大学大学院総合文化研究科)
並行制約プログラミングにおける区間制約システム
石井大輔(*), 上田和紀(**) (*早稲田大学大学院理工学研究科, **早稲田大学理工学術院)
◎プログラム盗用発見システム Dr. Plagiarism
岩崎敏, 脇田建 (東京工業大学大学院情報理工学研究科)