2024年2月OS研究発表会(第162回)の優秀若手発表賞2件目は「Towards Automatic Verification of Concurrency Memory Bugs in Linux Kernel Modules by transpilation to PlusCal」を発表した服部穣さん(東京大学)が受賞しました。おめでとうございます。
#award" target="_blank" rel="nofollow noopener">sigos.ipsj.or.jp/event/sigos202…