主にSOSP'21で発表されたRudraというRustプログラムにおけるメモリバグを発見するツールについての論文を紹介しました。 論文はこちら
話し手 ガラスボー: https://twitter.com/garasubo どらやき: https://twitter.com/dorayaki_kun
00:35 前回のウェブ回で扱ったaxumについて
https://www.reddit.com/r/rust/comments/p5tg9v/thoughts_on_axum/
5:50 Rudraについて
11:15 Unsafeにまつわるメモリバグの例（第3章）
19:30 Rudraの実装デザイン（第4・5章）
26:45 評価・議論（第6・7章）
38:06 指圧マットさん
46:19 最近のプログラム検証系研究の傾向について
55:52 Rudraの研究成果がlinterに反映されている
57:50 Rustの型はありがたい
1:02:07 他言語の雑感（C++、Go、JVM系言語など）
1:17:40 Rudraについての話に戻る
1:24:00 マレインさんからcargo workspaceについて
cargo installがworkspaceでは出来ないissue
1:44:18 cargoなどのopen source開発はつらい
Rust Foundationがクラウドリソースを開発者に提供する話
1:54:20 Rustがもっとはやってほしい・ウェブ分野についての活用について
2:06:30 他の分野でのRust