-------------------------------------------------------------------------
10:00-10:45
2014-05-(1)
Webサービスによるソースコード均質化システムの提案
下里 祐介（中京大学 情報科学研究科）
濱川 礼（中京大学 情報科学研究科）
10:45-11:30
2014-05-(2)
A Datatype- and Editing-Operation-Generic Incremental Computation
森畑 明昌（東京大学大学院総合文化研究科）
-------------------------------------------------------------------------
13:00-13:45
2014-05-(3)
Coqを使ったツリー型ネットワークトポロジ上でのCCNのモデル化と検証について
森嶋 崇（関西学院大学理工学部情報科学科）
後藤 瑞貴（関西学院大学理工学部情報科学科）
森口 草介（関西学院大学理工学部情報科学科）
高橋 和子（関西学院大学理工学部情報科学科）
13:45-14:30
2014-05-(4)
定性空間表現のCoqによる形式化およびその平面性の証明
後藤 瑞貴（関西学院大学理工学部情報科学科）
森口 草介（関西学院大学理工学部情報科学科）
高橋 和子（関西学院大学理工学部情報科学科）
-------------------------------------------------------------------------
14:40-15:25
2014-05-(5)
Refinement type checking via assertion checking
佐藤 亮介（東京大学 大学院情報理工学系研究科）
浅田 和之（東京大学 大学院情報理工学系研究科）
小林 直樹（東京大学 大学院情報理工学系研究科）
15:25-16:10
2014-05-(6)
Generating Stack-based Access Control Policies
Xin Li（東京大学 大学院情報理工学系研究科）
Hua Vy Le Thanh（University of Science - Ho Chi Minh City）
-------------------------------------------------------------------------
16:10-16:35
拡大運営委員会（全員参加可能）
-------------------------------------------------------------------------
18時半ごろ-
懇親会
-------------------------------------------------------------------------
10:00-10:45
2014-05-(7)
Converting XML/DTD to Parsing Expression Grammars
山口 真弥（横浜国立大学）
倉光 君郎（横浜国立大学）
10:45-11:30
2014-05-(8)
A Declarative Extension of PEGs for Recognizing Context-Sensitive Syntax
松村 哲郎（横浜国立大学）
倉光 君郎（横浜国立大学）
11:30-12:15
2014-05-(9)
Streaming String Transducerの等価性判定と正規表現による文字列置換への応用
加賀江 優幸（筑波大学大学院システム情報工学研究科）
南出 靖彦（筑波大学システム情報系）
-------------------------------------------------------------------------
13:30-14:15
2014-05-(10)
軽量で抽象度の高い条件付きバリア同期とその実装方法
夏 澄彦（東京大学情報理工学系研究科）
佐藤 芳樹（東京大学情報理工学系研究科）
千葉 滋（東京大学情報理工学系研究科）
14:15-15:00
2014-05-(11)
並列分散処理向けプログラミング言語X10向けの対話的にフィルタリング可能なプロファイリングツールの開発
板橋 晟星（東京大学情報理工学系研究科）
佐藤 芳樹（東京大学情報理工学系研究科）
千葉 滋（東京大学情報理工学系研究科）
15:00-15:45
2014-05-(12)
Java仮想機械向けX10の設計と実装
竹内 幹雄（日本アイ・ビー・エム(株) 東京基礎研究所）
河内谷 清久仁（日本アイ・ビー・エム(株) 東京基礎研究所）
小野寺 民也（日本アイ・ビー・エム(株) 東京基礎研究所）
菅沼 俊夫（日本アイ・ビー・エム(株) 東京基礎研究所）
鈴村 豊太郎（日本アイ・ビー・エム(株) 東京基礎研究所，IBM Research--Ireland）
堀井 洋（日本アイ・ビー・エム(株) 東京基礎研究所）
牧野 祐己（日本アイ・ビー・エム(株) ソフトウェア開発研究所，(株)プレイド）
Salikh Zakirov（日本アイ・ビー・エム(株) 東京基礎研究所，Google Inc.）
David Cunningham（IBM T. J. Watson Research Center，Google Inc.）
David Grove（IBM T. J. Watson Research Center）
Vijay Saraswat（IBM T. J. Watson Research Center）
-------------------------------------------------------------------------
Last update: 2015-02-27