Practical, High-Performance Verification in Rust

微软研究院博客

Ideas podcast | illustration of Shan Lu
微软研究院播客

| 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.
微软研究院播客

| 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.