2024 Fiscal Year Comments on the Screening Results

並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術

Research Project

Project/Area Number	24H00699
Research Category	Grant-in-Aid for Scientific Research (A)
Allocation Type	Single-year Grants
Section	一般
Review Section	Medium-sized Section 60:Information science, computer engineering, and related fields
Research Institution	National Institute of Informatics
Principal Investigator	関山太朗国立情報学研究所, アーキテクチャ科学研究系, 准教授 (80828476)
Co-Investigator(Kenkyū-buntansha)	海野広志東北大学, 電気通信研究所, 教授 (80569575)
Project Period (FY)	2024-04-01 – 2028-03-31
Scientific Significance and Expected Research Achievements	「並行処理を行うソフトウェアシステムの正しさを検証するための技術とは」という学術的問いは明確である。これまで応募者は、代数的効果ハンドラを逐次実行プログラムの検証に用いた研究実績がある。その技術を並行システムの検証に展開するという本研究は説得力があり、また新規な研究成果が期待できる。