9:00-10:00 セッション5 招待講演
Type-Based Reasoning for Real Languages
[招待講演]
Janis Voigtlander (University of Bonn)
10:00-10:25 休憩
10:25-12:00 (95分) セッション6
最適値の並列探索のための Improving Value の Fortress 実装
[C1](
pdf)
江本 健斗*, 寺田 洋介*, 松崎 公紀**, 胡 振江**, 武市 正人*(*東京大学, **高知工科大学, ***国立情報学研究所)
リダクションループに対する行列積に基づく自動並列化器の設計と実装
[C1]
佐藤 重幸 (電気通信大学)
shift/reset による Caml Light の拡張に向けて
[C1](
pdf)
増子 萌, 浅井 健一 (お茶の水女子大学)
Extending AspectJ for Separating Regions
[C2]
Shumpei Akai, Shigeru Chiba (Tokyo Institute of Technology)
出典: 8th International Conference on Generative Programming and
Component Engineering (GPCE 2009), pp. 45-54, 2009.
12:00-13:30 昼食
13:30-15:05 (95分) セッション7
Applied Pi-Calculusの計算論的健全性のパーズを用いない証明
[C1]
ウベール・コモン-ルンド*, 萩谷 昌己**, 川本 裕輔***, 櫻田 英樹****(*ENS Cachan, **東京大学, ***東京大学, 日本学術振興会特別研究員,****NTTコミュニケーション科学基礎研究所)
条件式の解析によるSQLインジェクション脆弱性検査法の精度改善
[C1](
pdf)
西田 誠幸, 大橋 知典, Heng Li (拓殖大学)
情報流仕様に基づくアクセス権検査文自動挿入法
[C1]
高田 喜朗*, 森田 剛正*, 関 浩之**(*高知工科大学, **奈良先端科学技術大学院大学)
Dismantling MIFARE Classic
[C2]
Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers,
Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs
(Radboud University Nijmegen)
出典: 13th European Symposium on Research in Computer Security(ESORICS 2008), Lecture Notes in Computer Science 5283,pp. 97-114, 2008.
15:05-15:25 休憩
15:25 - 17:00 (95分) セッション8
多相型言語の変数名補完を行うEmacsモードの開発
[C1](
pdf)
後藤 拓実, 篠埜 功 (芝浦工業大学)
汎用的に証明木のGUIを作成する『Mikiβ』の開発
[C1](
pdf)
櫻井 加奈子, 浅井健一 (お茶の水女子大学)
プログラム変換によるインタプリタからのコンパイラの導出
[C1](
pdf)
木谷 有沙, 浅井 健一 (お茶の水女子大学)
Tool Support for Crosscutting Concerns of API Documentation
[C1]
Michihiro Horie, Shigeru Chiba (Tokyo Institute of Technology)
出典: 9th ACM International Conference on Aspect-Oriented Software
Development (AOSD 2010), to appear.
17:00 - 17:20 休憩
17:20 - 18:30 (70分) セッション9
モデル検査ツールの拡張によるネットワークソフトウェアの検証
[C3(ショート・デモ)]
レオンワタナキット ワチャリン (東京大学)
さまざまな抽象データ構造をプリミティブとして扱うためのプログラミング言語の設計
[C3(ショート)]
江木 聡志 (東京大学)
木変換の逆正規性保存
[C3(ショート)]
稲葉 一浩 (国立情報学研究所)
古典シークエント計算の強正規化可能性の構文論的証明
[C3(ショート)]
山口 洋平，中澤 巧爾 (京都大学)
バックトラックに基づく負荷分散の広域分散環境における評価
[C3(ショート)]
河野 卓矢, 八杉 昌宏, 平石 拓, 馬谷 誠二, 湯淺 太一 (京都大学)
局所性を改善する世代別ごみ集めのSchemeインタプリタにおける実装と評価
[C3(ショート)]
渡邉 真人, 八杉 昌宏, 馬谷 誠二, 湯淺 太一 (京都大学)
Android DalvikVMにおける正確なごみ集め
[C3(ショート)]
松田 友希, 馬谷 誠二, 八杉 昌宏, 湯淺 太一 (京都大学)
変性に基づく部分型のための半決定手続き
[C3(ショート)]
廣瀬 喜規, 五十嵐 淳 (京都大学)
L-closureを用いた真に末尾再帰的なSchemeインタプリタの実装
[C3(ショート)]
小島 啓史*, 八杉 昌宏*, 小宮 常康**, 平石 拓*, 馬谷 誠二*, 湯淺 太一*(*京都大学, **電気通信大学)
18:30 - 20:30 夕食
20:30 - 22:00 (90分) セッション10
高階モデル検査のための述語抽象化とCEGAR
[C3(デモ)]
佐藤 亮介, 海野 広志, 小林 直樹 (東北大学)
Dependent Types from Counterexamples
[C3(ポスター・デモ)]
寺内 多智弘 (東北大学)
表現力の高いアドバイスを安全に記述できるアスペクト指向言語StrongRelaxAJ
[C3(ポスター)]
当山 学, 青谷 知幸, 増原 英彦 (東京大学)
簡約過程の一般的可視化システムの実装
[C3(ポスター・デモ)]
石川 ちひろ, 浅井 健一 (お茶の水女子大学)
MetaOCamlを使った部分評価器の実装
[C3(ポスター)]
岩井 亜里紗, 浅井 健一 (お茶の水女子大学)
暗黙的に型付けされる構造体のJava言語への導入
[C3(ポスター)]
大久保 貴司 (東京工業大学)
関心事ごとに視点を切り替えてプログラムを編集できる統合開発環境の提案と実装
[C3(ポスター)]
金澤 圭 (東京工業大学)
一級継続に基づくWebアプリケーションの動的更新
[C3(ポスター)]
新井 一郎 (東京工業大学)
非S式言語における構文マクロの実現に向けて
[C3(ポスター)]
荒井 浩，脇田 建 (東京工業大学)
JavaScriptアプリケーションのLive Edit開発環境
[C3(ポスター)]
吉永 卓矢, 脇田 建 (東京工業大学)
機器組込みシステムのための複製に基づくインクリメンタルコンパクション
[C3(ポスター)]
鵜川 始陽*, 湯淺 太一** (*電気通信大学, **京都大学)
ハイブリッドシステムモデリング言語HydLaの統合処理系
[C3(ポスター)]
高田 賢士郎*, 廣瀬 賢一*, 大谷 順司*, 石井 大輔*, 細部 博史**, 上田 和紀*(*早稲田大学, **国立情報学研究所)
多相型言語の変数名補完を行うEmacsモードの開発
[C3(ポスター・デモ)]
後藤 拓実, 篠埜 功 (芝浦工業大学)
GRoundTram: 構造的再帰関数に基づく双方向グラフ変換システム
[C3(ポスター・デモ)]
日高 宗一郎*, 胡 振江*, 稲葉 一浩*, 加藤 弘之*, 松田 一孝**, 中野 圭介***(*国立情報学研究所, **東京大学, ***電気通信大学)
疑似乱数生成器の実装に対する暗号論的安全性の検証
[C3(ポスター)]
山田 聖, David NOWAK (産業技術総合研究所)
プロセス代数に基づく並行システムの動作解析のための逐次化ツール
[C3(ポスター・デモ)]
磯部 祥尚 (産業技術総合研究所)
スクリプティング言語KonohaによるLinuxカーネルデバイススクリプティング
[C3(ポスター)]
井出 真広, 倉光 君郎 (横浜国立大学)
アンビエント計算に基づくWebアプリケーション開発環境
[C3(ポスター・デモ)]
外山 真, 馬谷 誠二, 八杉 昌宏, 湯淺 太一 (京都大学)
