• Abstracts: November 5, 2024

  • Nov 5 2024
  • Length: 15 mins
  • Podcast

Abstracts: November 5, 2024

Listen for free

View show details

  • Summary

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

    Read the paper
    Show more Show less
Show more Show less
activate_Holiday_promo_in_buybox_DT_T2

What listeners say about Abstracts: November 5, 2024

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.com reviews

Amazon reviews
No Reviews are Available