研究課題
本研究課題で提案したメモリ一貫性モデルを考慮したモデル検査理論に関して執筆した論文が International Journal on Software Tools for Technology Transfer に採択された。また、メモリ一貫性モデルを考慮することで行うことができるようになる最適化の一つ「状態の統合による状態爆発の回避」に関する論文を執筆・投稿し、国際会議 The 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications に採択された。また、前年度に執筆を完了していたメモリ一貫性モデルを考慮したプログラム検証においてその正しさを保証するためのプログラム論理に関する論文を投稿し Journal of Information Processing に採択された。また、これも前年度から引き続いて行っていた、国産並列プログラミング言語 XcalableMP の仕様書へ本研究課題で行った形式化されたメモリ一貫性モデルによる仕様記述の採用を目指す活動であるが、申請者が執筆した Appendix E が 2017 年 1 月 12 日に行われた XcalableMP の仕様策定の規格部会で承認され、Version 1.3 から採用される予定である。
すべて 2017 2016 その他
すべて 雑誌論文 (3件) (うち査読あり 3件、 謝辞記載あり 3件) 学会発表 (1件) 備考 (1件)
Journal of Information Processing
巻: 25 ページ: 244--255
10.2197/ipsjjip.25.244
International Journal on Software Tools for Technology Transfer
巻: 印刷中 ページ: 印刷中
10.1007/s10009- 016-0429-y
The 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications
巻: LNCS 9984 ページ: 118--135
10.1007/978-3-319-47677-3_8
https://bitbucket.org/abet/mcspin/
