研究課題
基盤研究(C)
本課題の目標は、関数型プログラミング言語など、高階関数を含むプログラミング言語で記述された大規模ソフトウェアに対して有効な自動検証手法の確立である。特に、近年、国内外において高く注目されている依存型型システムを用いたソフトウェアモデル検査による手法を研究した。主な研究成果は以下である：1.)よりよい抽象詳細化(ソフトウェアモデル検査に用いられる技術)の手法、2.)高階関数型プログラムのための停止性・活性仕様など時相論理仕様の自動検証手法。
すべて 2017 2016 2015 2014 2013
すべて 雑誌論文 (9件) (うち国際共著 4件、 査読あり 9件、 オープンアクセス 2件、 謝辞記載あり 7件) 学会発表 (8件) (うち国際学会 4件、 招待講演 5件)
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)
巻: 印刷中
Proceedings of the 6th International Conference on Principles of Security and Trust (POST 2017)
In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices
巻: 51 (1) ページ: 57-68
10.1145/2837614.2837667
In Proceedings of the 22nd International Static Analysis Symposium (SAS 2015), Lecture Notes in Computer Science
巻: 9291 ページ: 128-144
10.1007/978-3-662-48288-9_8
Proceedings of ESOP 2015, LNCS
巻: 9032 ページ: 610-633
10.1007/978-3-662-46669-8_25
Proceedings of TACAS 2015, LNCS
巻: 9035 ページ: 149-163
10.1007/978-3-662-46681-0_10
Proceedings of ESOP 2014, LNCS
巻: 8410 ページ: 392-411
10.1007/978-3-642-54833-8_21
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
巻: CSL-LICS'14 ページ: 1-10
10.1145/2603088.2603138
Theoretical Computer Science
巻: - ページ: 167-182
10.1016/j.tcs.2013.07.031
