Practical, High-Performance Verification in Rust

January 23, 2025 | Gretchen Huizinga and 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…

November 5, 2024 | Amber Tingle, Chris Hawblitzel, and 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.