Foundations and Applications for Robust and High-Performance System Software

Research Project

Project/Area Number	24KJ0133
Research Category	Grant-in-Aid for JSPS Fellows
Allocation Type	Multi-year Fund
Section	国内
Review Section	Basic Section 60050:Software-related
Research Institution	Kyoto University
Principal Investigator	松下祐介京都大学, 情報学研究科, 特別研究員(PD)
Project Period (FY)	2024-04-01 – 2027-03-31
Project Status	Granted (Fiscal Year 2024)
Budget Amount *help	¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000) Fiscal Year 2026: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000) Fiscal Year 2025: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000) Fiscal Year 2024: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Outline of Research at the Start	ハードウェアに近いレイヤーでメモリ操作・並行処理を活用するシステムソフトウェアは、高性能の計算を実現できる一方で、深刻なバグが潜む可能性が高い。本研究は、期待されたとおりに動作する、堅牢で高性能なシステムソフトウェアを開発していくための、プログラム検証、型システム、動的テスト、バグ発見、プログラム最適化といった技術を、理論的な基礎づけと工学的な応用の両方向で探究・開拓していく。特に、近年産業界でも注目を集めているプログラミング言語 Rust が導入した、借用にもとづく所有権型システムに着目する。