Practical, High-Performance Verification in Rust

Microsoft Research Blog

Ideas podcast | illustration of Shan Lu
Podcast de recherche Microsoft

| Gretchen Huizinga et 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.
Podcast de recherche Microsoft

| Amber Tingle, Chris Hawblitzel, et 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.