主に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