2017年4月 - 2022年3月
メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
日本学術振興会 科学研究費助成事業 若手研究(B) 若手研究(B)
昨年に採録された FLOPS 2020 と ECOOP 2020 での口頭発表を行なった．ECOOPでの内容は，多者間通信の静的型付けの枠組みであるマルチパーティセッション型をOCaml言語で利用可能にするための技法に関するものである．さらに，ECOOP 2020 の内容を拡張して論文誌に投稿すべく執筆を進めた．具体的には，実装面における非効率さの排除と，安全性に関する修正を行なった．
さらに，「メッセージの到達性を保証しない通信環境」における取扱のため，マルチパーティセッション型そのものの表現能力の拡張に関する研究を進めた．これは，二者間の通信に関するバイナリーセッション型においてVasconcelosらがESOP 2020で発表したMixed Choiceを，多者間に拡張するための枠組みである．この枠組みは上記のOCaml実装からの着想を得ている．デッドロックフリー性といった安全性に関する証明が未完である．進行中の仕事を情報処理学会プログラミング研究会で発表した．
さらに，「メッセージの到達性を保証しない通信環境」における取扱のため，マルチパーティセッション型そのものの表現能力の拡張に関する研究を進めた．これは，二者間の通信に関するバイナリーセッション型においてVasconcelosらがESOP 2020で発表したMixed Choiceを，多者間に拡張するための枠組みである．この枠組みは上記のOCaml実装からの着想を得ている．デッドロックフリー性といった安全性に関する証明が未完である．進行中の仕事を情報処理学会プログラミング研究会で発表した．
- ID情報
-
- 課題番号 : 17K12662
この研究課題の成果一覧
絞り込み
論文
7-
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243 379-386 2022年 査読有り
-
ECOOP 2020: 34th European Conference on Object-Oriented Programming, Leibniz International Proceedings in Informatics 166 9:1-9:30 2020年 査読有り
-
PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, co-located with ETAPS 2020, Dublin, Ireland, Electronic Proceedings in Theoretical Computer Science 314 61-75 2020年 査読有り
-
Journal of Information Processing 27 431-444 2019年6月 査読有り
-
SFDI2019: Second Workshop on Software Foundations for Data Interoperability (In proceedings of 2019 IEEE International Conference on Big Data and Smart Computing (BigComp)) 1-5 2019年2月 査読有り
-
Science of Computer Programming 172 135-159 2018年 査読有り
-
COORDINATION 2017: 19th International Conference on Coordination Models and Languages, Lecture Notes in Computer Science 10319 99-118 2017年 査読有り
講演・口頭発表等
10-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月8日
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月7日
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月6日
-
第137回プログラミング研究発表会 2022年1月12日
-
ML'21: ML Workshop 2021, co-located with ICFP 2021 2021年8月26日
-
第132回プログラミング研究発表会 2021年1月13日
-
第127回プログラミング研究発表会 2020年1月15日 情報処理学会プログラミング研究会
-
PLAS Group Seminar, School of Computing, University of Kent 2019年9月16日 招待有り
-
NII Shonan Meeting 149: Programming Languages for Distributed Systems (PL4DS)
-
2017 NSFC-JSPS Joint Workshop 2017年4月6日