2026年2月研究発表会の優秀若手発表賞が決定

第170回システムソフトウェアとオペレーティング・システム研究発表会 (2026年2月研究発表会)の優秀若手発表賞が決定しました。受賞された皆様、おめでとうございます。

最優秀若手発表賞 🎖️

(18) RINA: WebAssemblyを用いたFFI境界におけるセマンティクスを考慮したRust安全性不変量の強制手法

◎李 聖陽 (慶應義塾大学) 河野 健二 (慶應義塾大学))
【論文】