Practical, High-Performance Verification in Rust

Microsoft Research ブログ

Ideas podcast | illustration of Shan Lu
Microsoft Research ポッドキャスト

| Gretchen Huizinga と Shan Lu

Struggles with programming languages helped research manager Shan Lu find her calling as a bug hunter. She discusses one bug that really haunted her, the thousands she’s identified since, and how she’s turning to LLMs to help make software more…

Outlined illustrations of Chris Hawblitzel and Jay Lorch for the Microsoft Research Podcast, Abstracts series.
Microsoft Research ポッドキャスト

| Amber Tingle, Chris Hawblitzel, と Jay Lorch

Researchers Chris Hawblitzel and Jay Lorch share how progress in programming languages and verification approaches are bringing bug-free software within reach. Their work on the Rust verification tool Verus won the Distinguished Artifact Award at SOSP ’24.