SS研2018年3月研究集会プログラム（仮）
北陸先端科学技術大学院大学理論計算機科学センター「計算機科学に関するスクール」プログラム（仮）
会場：南大東島多目的交流センター会議室
会場：南大東村文化センター内の1室
(多目的交流センターを高校入試会場として使うことになったため隣接する文化センターの1室に変更)

発表題目を含め仮のプログラムのため変更になる可能性がございます。

3月5日(月)
 
13:00-13:30 Opening

13:30-14:30 JAIST TCSCスクールLecture 1
A Divide & Conquer Approach to Liveness Model Checking under Fairness
緒方和博 (JAIST)
The lecture talks on an approach to making liveness model checking problems under fairness feasible. The proposed method divides such a problem into smaller ones that can be conquered. It is not superior to existing tools dedicated to model checking liveness properties under fairness assumptions in terms of model checking performance, but has the following positive aspects: (1) the approach can help humans get better understandings of the reason why they need to use fairness assumptions, and (2) the approach makes it possible to use existing LTL model checkers to model check liveness properties under fairness assumptions.

14:30-15:00 Break

15:00-16:00 JAIST TCSCスクールLecture 2
Well-structured transition systems and beyond
小川瑞史 (JAIST)
The tutorial introduces the use of well-quasi-ordering techniques in software verification of infinite-state transition systems. We first overview well-structured transition systems, which was proposed independently by P.A.Abdulla and A.Finkel during the 90s. We also observe extensions, e.g., well-structured pushdown systems (i.e., with the pushdown stack), well-behaved transition systems (relaxing WQO to no infinite antichain), and various instances, e.g., the coverability of VASS,  branching VASS, recursive VASS, and Alternating VASS. 

16:00-16:30 Break

16:30-17:30 JAIST TCSCスクールLecture 3
TBA
結縁祥治 (名大)

3月6日(火)

10:00-11:00 JAIST TCSCスクールLecture 4
システム理論に基づくモデリング
日下部茂 (長崎県大)
STAMP: Systems Theoretic Accident Model and ProcessesやFRAM: Functional Resonance Analysis Methodを用いた，Formalなモデルを構築する前段階の，PreFormalなモデリングについて講演する．

11:00-11:30 Break

11:30-12:3013:00 SS研Session 1
STAMP単線例題に対する時間オートマトンモデル検査の適用事例
岡野浩三（信州大学），小形真平（信州大学），楊盼（信州大学）
Reversibility in timed behavior
結縁祥治 (名大)
マルウェア解析器BE-PUMによるパッカー同定
小川瑞史 (JAIST)

12:3013:00-14:30 Lunch

14:30-15:30 SS研Session 2
メソッドレベルセマンティックバージョニングの提案
林純一，肥後芳樹，楠本真二 (阪大)
凝集度メトリクスを用いたメソッドのインライン化支援ツール
山田 悠貴，崔 恩瀞（NAIST），吉田 則裕（名大），飯田 元（NAIST)

15:30-16:00 Break

16:00-17:00 SS研Session 3
ユーティリティメソッドの自動生成に向けて
松本淳之介，肥後芳樹，下仲健斗，楠本真二 (阪大)
OSSの開発プロセスにおける品質に関する議論の可視化
中西駿太、崔恩瀞、飯田元 (NAIST)

18:30- 懇親会@ホテルよしざと

3月7日(水)

10:00-11:00 SS研Session 4
ソースコード内の同機能かつ異種イディオムの混在解消に向けて
田中紘都，柗本真佑，楠本真二 (阪大)
ソースコードの"自然さ"を用いたリファクタリング支援手法の検討
有馬諒，肥後芳樹，楠本真二 (阪大)

11:00-11:30 Break

11:30-13:00 SS研Session 5
動的コールグラフと形式概念束の構造特徴に基づく機能識別と機能理解支援
中野真明貴 小林隆志 (東工大)
局所性鋭敏型ハッシュを用いたコードクローン検出のためのパラメータ決定手法
徳井 翔梧，吉田 則裕，崔 恩瀞，井上 克郎 (阪大)
高階関数言語におけるランキング関数の機械学習
村本大起，佐藤亮介，鵜林尚靖，亀井靖高 (九大)

13:00-15:00 Lunch
昼食時に専門委員会の開催を予定します。

14:3015:00-16:00 SS研Session 6
組込みシステムに対する優先度付きテストケース生成手法の提案
斎藤英美、中川雄一郎、利國愛 (日立)
品質保証からみた機械学習ソフトウェアの不確かさ
中島震 (NII)

16:00-16:30 Closing