KubernetesのControllerの安全性を検証するAnvilというframeworkについて話しました。後半はAsterinasというRustで書かれたLinux ABI互換のOSを紹介しています。
<ul>
<li style="font-weight:400;"><a href='https://www.usenix.org/conference/osdi24/presentation/sun-xudong'>Anvil: Verifying Liveness of Cluster Management Controllers</a>
<ul>
<li style="font-weight:400;"><a href='https://github.com/anvil-verifier/anvil'>https://github.com/anvil-verifier/anvil</a></li>
<li style="font-weight:400;"><a href='https://github.com/verus-lang/verus'>Verus</a></li>
</ul>
</li>
<li style="font-weight:400;"><a href='https://asterinas.github.io/'>Asterinas</a></li>
</ul>
Chapters: 
(00:00) Opening 
(04:28) Anvil: Verifying Liveness of Cluster Management Controllers 
(24:36) Asterinas: A New OS written in Rust 
(34:35) Ending

KubernetesのControllerの安全性を検証するAnvilというframeworkについて話しました。後半はAsterinasというRustで書かれたLinux ABI互換のOSを紹介しています。 Anvil: Verifying Liveness of Cluster Management Controllers https://github.com/anvil-verifier/anvil Verus Asterinas Chapters: (00:00) Opening (04:28) Anvil: Verifying Liveness of Cluster Management Controllers (24:36) Asterinas: A New OS written in Rust (34:35) Ending

KubernetesのControllerの安全性を検証するAnvilというframeworkについて話しました。後半はAsterinasというRustで書かれたLinux ABI互換のOSを紹介しています。
<ul>
<li><a href="https://www.usenix.org/conference/osdi24/presentation/sun-xudong" rel="noopener noreferrer">Anvil: Verifying Liveness of Cluster Management Controllers</a>
<ul>
<li><a href="https://github.com/anvil-verifier/anvil" rel="noopener noreferrer">https://github.com/anvil-verifier/anvil</a></li>
<li><a href="https://github.com/verus-lang/verus" rel="noopener noreferrer">Verus</a></li>
</ul>
</li>
<li><a href="https://asterinas.github.io/" rel="noopener noreferrer">Asterinas</a></li>
</ul>
Chapters: 
(00:00) Opening 
(04:28) Anvil: Verifying Liveness of Cluster Management Controllers 
(24:36) Asterinas: A New OS written in Rust 
(34:35) Ending

41: Anvil, Asterinas

サーバーサイドエンジニア二人による雑談番組です。
主にプログラミング言語やデータベース、devopsツールの話などをします。

Technology

サーバーサイドエンジニア二人による雑談番組です。 主にプログラミング言語やデータベース、devopsツールの話などをします。

Share 41: Anvil, Asterinas

Sign up to save your podcasts

41: Anvil, Asterinas

41: Anvil, Asterinas