Danilo Krumich · Software Engineering Radio - the podcast for professional software developers · Danilo Krummrich on Rust in the Linux Kernel
Audio streams from the publisher’s own feed. Verbatim does not host or copy it.
argued that two-thirds of serious kernel CVEs are memory-safety bugs, motivating Rust
“I think if we leave out vendored code, I think we're at about 120,000 to 150,000 lines of Rust code in the kernel currently with a growth rate of, I think, about 20% each cycle.”
“We had a hypothesis about where to look for bugs… focused on device drivers… then differential fuzzing… ported to Rust using an LLM… formal verification.”
“We took the C code that existed and ported it to Rust using an LLM and then using differential fuzzing to ensure that the ported code to Rust was correct.”
“Using just a single Scotch-Brite product to remove all that mill scale and that rust and everything else to get a clean, weldable surface, zero rust.”
The strongest new moments on your topics, in the speakers' own words. Free for three topics.
No card. No password. One-click unsubscribe.
Pro watches up to 25 names or phrases and emails you the morning after they are said.
See Pro, $29 a monthVerbatim quotes a short extract and links to the episode; the episode belongs to its publisher. Remove a show.