座長: 光来 健一（九州工業大学）
Traveling Forward in Time to Newer Operating Systems using ShadowReboot
山田浩史（東京農工大学）
VEE 2013で発表
大越淳平 (筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻)
長谷部浩二 (筑波大学システム情報系情報工学域)
加藤和彦 (筑波大学システム情報系情報工学域)
澤田匠 (筑波大学コンピュータサイエンス専攻)
長谷部浩二 (筑波大学コンピュータサイエンス専攻)
加藤和彦 (筑波大学コンピュータサイエンス専攻)
大城信康 (琉球大学大学院)
杉本優 (琉球大学)
河野真治 (琉球大学)
永山辰巳 (株式会社 Symphony)
上野雄大 (東北大学電気通信研究所)
大堀淳 (東北大学電気通信研究所)
座長: 小宮 常康（電気通信大学）
産一傑 (広島市立大学 大学院情報科学研究科 情報工学専攻)
川端英之 (広島市立大学 大学院情報科学研究科 情報工学専攻)
北村俊明 (広島市立大学 大学院情報科学研究科 情報工学専攻)
内田篤史 (横浜国立大学)
松村哲郎 (横浜国立大学)
若松悠樹 (横浜国立大学)
志田駿介 (横浜国立大学)
倉光君郎 (横浜国立大学)
坂本一憲 (国立情報学研究所)
鷲崎弘宜 (早稲田大学)
深澤良彰 (早稲田大学)
井出真広 (横浜国立大学)
松村哲郎 (横浜国立大学)
倉光君郎 (横浜国立大学)
座長: 奥野 拓（はこだて未来大学）
濱登強 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
伊藤恵 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
曽我知央 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
伊藤恵 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
小南祐貴 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
伊藤恵 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
中山裕介 (横浜国立大学)
志田駿介 (横浜国立大学)
倉光君郎 (横浜国立大学)
座長: 中野 圭介（電気通信大学）
則武治樹 (神戸大学大学院システム情報学研究科)
番原睦則 (神戸大学情報基盤センター)
宋剛秀 (神戸大学情報基盤センター)
田村直之 (神戸大学情報基盤センター)
井上克巳 (国立情報学研究所情報学プリンシプル研究系)
ゴーラビファドワ (関西学院大学理工学部)
高橋和子 (関西学院大学理工学部)
浜名誠 (群馬大学理工学研究院)
Marcelo Fiore (ケンブリッジ大学計算機研究所)
レドゥックドゥン (総合研究大学院大学（総研大))
Quyet Nguyen-Van (Hung Yen University of Technology and Education, Vietnam)
胡振江 (国立情報学研究所)
座長: 五十嵐 健夫（東京大学）
Interactive Bi-scale Editing of Highly Glossy Materials
岩崎慶（和歌山大学）
SIGGRAPH ASIA 2012で発表
An Inverse Problem Approach for Automatically Adjusting the Parameters for Rendering Clouds Using Photographs
土橋宜典（北海道大学）
SIGGRAPH ASIA 2012で発表
Learning Revised Models for Planning in Adaptive Systems
井上克巳（NII）
ICSE 2013で発表
深津佳智 (筑波大学)
箱田博之 (筑波大学)
野口杏奈 (筑波大学)
志築文太郎 (筑波大学)
田中二郎 (筑波大学)
武馬賢志郎 (名古屋工業大学大学院工学研究科情報工学専攻)
白松俊 (名古屋工業大学大学院工学研究科情報工学専攻)
大囿忠親 (名古屋工業大学大学院工学研究科情報工学専攻)
新谷虎松 (名古屋工業大学大学院工学研究科情報工学専攻)
座長: 江本 健斗（九州工業大学）
金谷祥平 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
伊藤恵 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
大場みち子 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
奥野拓 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
赤石裕里花 (公立はこだて未来大学システム情報科学部)
坂井麻里恵 (公立はこだて未来大学大学院システム情報科学研究科)
奥野拓 (公立はこだて未来大学システム情報科学部)
伊藤恵 (公立はこだて未来大学システム情報科学部)
下里祐介 (中京大学)
濱川礼 (中京大学)
村上直也 (東京大学大学院総合文化研究科広域科学専攻)
増原英彦 (東京工業大学大学院情報理工学研究科 数理・計算科学専攻)
青谷知幸 (東京工業大学大学院情報理工学研究科 数理・計算科学専攻)
座長: 上野 雄大（東北大学）
Alimujiang Yasen (Waseda University)
上田和紀 (早稲田大学理工学術院情報理工学科)
高柳亘 (東京工業大学大学院情報理工学研究科)
脇田建 (東京工業大学大学院情報理工学研究科)
森谷鴻平 (横浜国立大学)
志田駿介 (横浜国立大学)
倉光君郎 (横浜国立大学)
辻康介 (横浜国立大学)
松村哲郎 (横浜国立大学)
井出真広 (横浜国立大学)
倉光君郎 (横浜国立大学)
座長: 前田 敦司（筑波大学）
Adaptive Multi-Level Compilation in a Trace-based Java JIT Compiler
井上 拓（日本IBM東京基礎研究所）
OOPSLA 2012で発表
遠藤誠典 (東北大学)
百足勇人 (東北大学)
森畑明昌 (東北大学)
上野雄大 (東北大学)
大堀淳 (東北大学)
塩田雅人 (電気通信大学大学院情報理工学研究科)
岩崎英哉 (電気通信大学大学院情報理工学研究科)
莊永裕 (東京大学情報理工学系研究科創造情報学専攻)
千葉滋 (東京大学情報理工学系研究科創造情報学専攻)
宋剛秀 (神戸大学情報基盤センター)
番原睦則 (神戸大学情報基盤センター)
田村直之 (神戸大学情報基盤センター)
Daniel Le Berre (CRIL-CNRS, UMR 8188, Université d’Artois)
Stéphanie Roussel (CRIL-CNRS, UMR 8188, Université d’Artois)
座長: 田辺 良則（国立情報学研究所）
松本翔太 (早稲田大学基幹理工学研究科情報理工学専攻)
上田和紀 (早稲田大学理工学術院情報理工学科)
石井大輔 (東京工業大学)
Guillaume Melquiond (INRIAサクレ / パリ第11大学)
中島震 (国立情報学研究所)
Extending the World to Sense and Behave: A Supportive System Focusing on the Body Coordination for Neurocognitive Rehabilitation
我妻広明（九州工業大学）
COGNITIVE 2012で発表
若林昇 (株式会社日立製作所 横浜研究所)
吉岡信和 (国立情報学研究所 GRACEセンター)
段階的モデル検査手法（小山恭平）
小山恭平 (茨城大学)
小飼敬 (茨城工業高等専門学校)
上田賀一 (茨城大学)
山形知行 (株式会社 日立製作所)
武澤隆之 (株式会社 日立製作所)
座長: 中村 匡秀（神戸大学）
分野・地域を越えた実践的情報教育協働ネットワークenPiTの概要
楠本真二（大阪大学大学院情報科学研究科）
伊藤恵 (公立はこだて未来大学)
木塚あゆみ (公立はこだて未来大学)
奥野拓 (公立はこだて未来大学)
大場みち子 (公立はこだて未来大学)
小林隆志 (東京工業大学大学院情報理工学研究科)
権藤克彦 (東京工業大学大学院情報理工学研究科)
佐伯元司 (東京工業大学大学院情報理工学研究科)
首藤一幸 (東京工業大学大学院情報理工学研究科)
田中康 (東京工業大学大学院情報理工学研究科，奈良先端科学技術大学院大学)
西崎 真也 (東京工業大学大学院情報理工学研究科)
森本 千佳子 (東京工業大学大学院情報理工学研究科)
米崎 直樹 (東京工業大学大学院情報理工学研究科)
脇田 建 (東京工業大学大学院情報理工学研究科)
渡部 卓雄 (東京工業大学大学院情報理工学研究科)
実践型PBLプログラム（酒森潔）
酒森潔 (産業技術大学院大学)
中鉢欣秀 (産業技術大学院大学)
川田誠一 (産業技術大学院大学)
早瀬康裕 (筑波大学システム情報系情報工学域)
嵯峨智 (筑波大学システム情報系情報工学域)
渡辺知恵美 (筑波大学システム情報系情報工学域)
河辺徹 (筑波大学システム情報系情報工学域)
北川博之 (筑波大学システム情報系情報工学域)
三末 和男 (筑波大学システム情報系情報工学域)
中村匡秀 (神戸大学大学院システム情報学研究科)
井垣宏 (大阪大学大学院情報科学研究科)
佐伯幸郎 (神戸大学大学院システム情報学研究科)
松本真佑 (神戸大学大学院システム情報学研究科)
楠本真二 (大阪大学大学院情報科学研究科)
上原邦昭 (神戸大学大学院システム情報学研究科)
井上克郎 (大阪大学大学院情報科学研究科)
猪俣敦夫 (奈良先端科学技術大学院大学)
大平健司 (奈良先端科学技術大学院大学)
松浦知史 (奈良先端科学技術大学院大学)
奥田剛 (奈良先端科学技術大学院大学)
門林雄基 (奈良先端科学技術大学院大学)
山口英 (奈良先端大)
藤川和利 (奈良先端大)
曽根秀昭 (東北大学)
砂原秀樹 (慶應義塾大学)
宮地充子 (北陸先端科学技術大学院大学)
後藤厚宏 (情報セキュリティ大学院大学)
久住憲嗣 (九州大学)
細合晋太郎 (九州大学)
渡辺晴美 (東海大学)
元木誠 (関東学院大学)
小倉信彦 (東京都市大学)
吉岡信和 (国立情報学研究所)
櫻井浩子 (国立情報学研究所)
西村一彦 (株式会社ボイスリサーチ)
鷲崎弘宜 (早稲田大学基幹理工学部情報理工学科)
伊永祥太 (早稲田大学基幹理工学部情報理工学科)
山田佑輔 (早稲田大学基幹理工学部情報理工学科)
筧捷彦 (早稲田大学基幹理工学部情報理工学科)
深澤良彰 (早稲田大学基幹理工学部情報理工学科)
山戸 昭三 (筑波大学)
大久保 雅司 (NECラーニング株式会社)
座長: 勝股 審也（京都大学）
松田一孝 (東京大学)
Meng Wang (Chalmers University of Technology )
清水春樹 (筑波大学システム情報工学研究科)
亀山幸義 (筑波大学システム情報工学研究科)
佐藤重幸 (電気通信大学)
森畑明昌 (東北大学 電気通信研究所)
花田裕一朗 (京都大学)
五十嵐淳 (京都大学)
Type-Based Safe Resource Deallocation for Shared-Memory Concurrency
末永 幸平（京都大学 白眉センター）
OOPSLA 2012で発表
座長: 吉田 則裕（奈良先端科学技術大学院大学）
Vo Huu Phuc (国立大学法人 総合研究大学院大学（総研大）)
加藤弘之 (国立情報学研究所)
日高宗一郎 (国立情報学研究所)
胡振江 (国立情報学研究所)
中島滉介 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
伊藤恵 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
新美礼彦 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
関口渚 (横浜国立大学)
井出真広 (横浜国立大学)
倉光君郎 (横浜国立大学)
高松宏樹 (北海道大学大学院情報科学研究科)
佐藤晴彦 (北海道大学大学院情報科学研究科)
小山聡 (北海道大学大学院情報科学研究科)
栗原正仁 (北海道大学大学院情報科学研究科)
大堀 淳（東北大学 電気通信研究所 教授）
コーディネータ: 加藤 和彦（日本ソフトウェア大会理事長）
高信頼ソフトウエアを高い生産性をもって開発することができるプログラミング言語は，ソフトウェア産業新生の一つの可能性を与えると信じている．また，そのようなプログラミング言語を独自にスクラッチから開発する能力の維持は，ソフトウェア技術を産業の基軸の一つと位置づける我が国の枢要な課題といえる．我々が２０年以上に亘って進めている関数型高信頼言語SML#の研究開発は，学術的な貢献に加え，我が国のソフトウェア産業新生へのささやかな貢献を願ってのものである．現在，SML#開発当初に目標としたほぼすべての機能を実現することに成功し，その応用の可能性を探るべく，産学連携プロジェクトを開始している．本講演では，SML#の機能およびその開発過程で構築した理論や技術を概観したのち，SML#を活用した実際のソフトウェア開発プロジェクトを紹介しながら，ソフトウェア生産言語としてのSML#の可能性と展望を論じる．
SML#の研究開発は，上野雄大氏（東北大学 電気通信研究所）との共同研究である．
SML#を活用したソフトウェア開発プロジェクトはNECソフトウエア東北株式会社殿との共同研究である．
コーディネータ: 鶴岡 慶雅（東京大学）
コーディネータ: 鶴岡 慶雅（東京大学）
コーディネータ: 鶴岡 慶雅（東京大学）
コーディネータ: 鶴岡 慶雅（東京大学）
座長: 首藤 一幸（東京工業大学）
A Measurement of Mobile Traffic Offloading
福田 健介（NII）
PAM2013で発表
西田尚史 (筑波大学コンピュータサイエンス専攻)
長谷部浩二 (筑波大学コンピュータサイエンス専攻)
加藤和彦 (筑波大学コンピュータサイエンス専攻)
森畑明昌 (東北大学電気通信研究所)
朱軼青 (筑波大学システム情報工学研究科)
鷹野駿介 (筑波大学システム情報工学研究科)
陳ウェイ (筑波大学システム情報工学研究科)
岡瑞起 (筑波大学システム情報工学研究科)
加藤和彦 (筑波大学システム情報工学研究科)
冨田尭 (東京工業大学情報理工学研究科計算工学専攻)
山崎徹郎 (東京工業大学情報理工学研究科計算工学専攻)
萩原茂樹 (東京工業大学情報理工学研究科計算工学専攻)
米崎直樹 (東京工業大学情報理工学研究科計算工学専攻)
コーディネータ: 大沢 英一（はこだて未来大学）
DeQED: an Efficient Divide-and-Coordinate Algorithm for DCOP
平山勝敏（神戸大学）
AAMAS 2013で発表
座長: 末永 幸平（京都大学）
内田和真 (東北大学電気通信研究所)
青戸等人 (東北大学電気通信研究所)
外山芳人 (東北大学電気通信研究所)
後藤瑞貴 (関西学院大学理工学部)
高橋和子 (関西学院大学理工学部)
宮原和大 (早稲田大学大学院基幹理工学研究科情報理工学専攻)
上田和紀 (早稲田大学理工学術院情報理工学科)
浅田和之 (東京大学)
日高宗一郎 (国立情報学研究所)
加藤弘之 (国立情報学研究所)
胡振江 (国立情報学研究所)
中野圭介 (電気通信大学)
Automating Relatively Complete Verification of Higher-order Functional Programs
海野 広志（筑波大学）
POPL 2013で発表
座長: 杉山 安洋（日本大学）
Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution
前田 直人（NEC）
ICSE 2013で発表
坂井麻里恵 (公立はこだて未来大学大学院)
大場みち子 (公立はこだて未来大学)
伊藤恵 (公立はこだて未来大学)
奥野拓 (公立はこだて未来大学)
後藤祥 (大阪大学)
吉田則裕 (奈良先端科学技術大学院大学)
藤原賢二 (奈良先端科学技術大学院大学)
崔恩瀞 (大阪大学)
井上克郎 (大阪大学)
山田悠太 (奈良先端科学技術大学院大学)
吉田則裕 (奈良先端科学技術大学院大学)
藤原賢二 (奈良先端科学技術大学院大学)
飯田元 (奈良先端科学技術大学院大学)
久世 和資（日本アイ・ビー・エム株式会社 執行役員 研究開発担当）
コーディネータ: 加藤 和彦（日本ソフトウェア大会理事長）
従来の「定型業務を効率よく処理する」モデルから、今後は「知識や情報を柔軟に活用してビジネスの価値を高める」モデルへ移行が急速に進みつつある。新世代のシステムは、先進技術を柔軟に取り入れ、ワークロードの最適化や拡張可能なアーキテクチャーを持つことにより、情報中心の社会や企業を支えることが求められる。このようなシステムの実現のためには、Cognitive ComputingとSoftware Defined Environmentの両者を活かして、その価値を最大限にすることが重要となる。新しいワークロードの事例とともに、新しい時代のコンピューティングシステムについて議論する。
座長: 青谷 知幸（東京工業大学）
當眞大千 (琉球大学大学院)
河野真治 (琉球大学)
永山辰巳 (株式会社 Symphony)
井上良太 (名古屋工業大学大学院情報工学専攻)
白松俊 (名古屋工業大学大学院情報工学専攻)
大囿忠親 (名古屋工業大学大学院情報工学専攻)
新谷虎松 (名古屋工業大学大学院情報工学専攻)
山田裕之 (名古屋工業大学大学院工学研究科)
丹羽佑輔 (名古屋工業大学大学院工学研究科)
白松俊 (名古屋工業大学大学院工学研究科)
大囿忠親 (名古屋工業大学大学院工学研究科)
新谷虎松 (名古屋工業大学大学院工学研究科)
加藤雄大 (名古屋工業大学大学院工学研究科情報工学専攻)
白松俊 (名古屋工業大学大学院工学研究科情報工学専攻)
大囿忠親 (名古屋工業大学大学院工学研究科情報工学専攻)
新谷虎松 (名古屋工業大学大学院工学研究科情報工学専攻)
丹羽佑輔 (名古屋工業大学大学院工学研究科)
片山真也 (名古屋工業大学大学院工学研究科)
白松俊 (名古屋工業大学大学院工学研究科)
大囿忠親 (名古屋工業大学大学院工学研究科)
新谷虎松 (名古屋工業大学大学院工学研究科)
座長: 関澤 俊弦（大阪学院大学）
上野篤史 (東京工業大学大学院)
望月翔平 (東京工業大学大学院)
島川昌也 (東京工業大学大学院)
萩原茂樹 (東京工業大学大学院)
米崎直樹 (東京工業大学大学院)
中島震 (国立情報学研究所)
和田大輝 ((株) 東芝ソフトウェア技術センター)
弓倉陽介 ((株) 東芝ソフトウェア技術センター)
鷲見毅 ((株) 東芝ソフトウェア技術センター)
藤本宏 ((株) 東芝ソフトウェア技術センター)
村田由香里 ((株) 東芝ソフトウェア技術センター)
永藤直行 (有限会社 プレシステム)
渡部卓雄 (東京工業大学)
座長: 浜名 誠（群馬大学）
森健輔 (東京工業大学大学院情報理工学研究科)
脇田建 (東京工業大学大学院情報理工学研究科)
北條真史 (東京工業大学)
長尾洋也 (東京工業大学)
宮尾武裕 (東京工業大学)
首藤一幸 (東京工業大学)
高塚康成 (東京工業大学)
矢口尭 (東京工業大学)
首藤一幸 (東京工業大学)
座長: 八杉 昌宏（九州工業大学）
ザントオ (総合研究大学院大学)
ウゴパチェコ (国立情報学研究所)
胡振江 (国立情報学研究所)
信夫裕貴 (早稲田大学大学院基幹理工学部研究科情報理工学専攻)
田辺良則 (国立情報学研究所)
上田和紀 (早稲田大学理工学術院情報理工学科)
藤田憲悦 (群馬大学)
四方駿作 (東北大学電気通信研究所)
青戸等人 (東北大学電気通信研究所)
外山芳人 (東北大学電気通信研究所)
佐藤洸一 (東北大学 電気通信研究所)
菊池健太郎 (東北大学 電気通信研究所)
青戸等人 (東北大学 電気通信研究所)
外山芳人 (東北大学 電気通信研究所)