C2Rust

品川研究室の白石桃子さんの論文がソフトウェアエンジニアリング分野のトップカンファレンスである ICSE 2026 に採択されました。