Evan Ovadia

Valen のメモリ安全：新しい借用チェッカー

Evan Ovadia が、Valen 向けの借用チェック設計であるグループ借用を解説する。同一オブジェクトの異なる部分への参照を共存させ、shared-xor-mutable を no use-after-free に緩める仕組みだ。