2026年2月研究発表会の優秀若手発表賞が決定
第170回システムソフトウェアとオペレーティング・システム研究発表会 (2026年2月研究発表会)の優秀若手発表賞が決定しました。受賞された皆様、おめでとうございます。
最優秀若手発表賞 🎖️
(18) RINA: WebAssemblyを用いたFFI境界におけるセマンティクスを考慮したRust安全性不変量の強制手法
◎李 聖陽 (慶應義塾大学) 河野 健二 (慶應義塾大学))
【論文】
第170回システムソフトウェアとオペレーティング・システム研究発表会 (2026年2月研究発表会)の優秀若手発表賞が決定しました。受賞された皆様、おめでとうございます。
◎李 聖陽 (慶應義塾大学) 河野 健二 (慶應義塾大学))
【論文】