Audible. Only £0.99 a month for the first 3 months + £10 Audible voucher. Pay £0.99 for the first 3 months, and £7.99/month thereafter. Renews automatically. Start my membership.

Abstracts: November 5, 2024
Nov 5 2024
Length: 15 mins
Podcast

Failed to add items

Sorry, we are unable to add the item because your shopping cart is already at capacity.

Add to basket failed.

Please try again later

Add to wishlist failed.

Please try again later

Remove from wishlist failed.

Please try again later

Adding to library failed

Please try again

Follow podcast failed

Unfollow podcast failed

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

What listeners say about Abstracts: November 5, 2024

Average customer ratings

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

Audible.co.uk reviews

Amazon reviews

No Reviews are Available

Report a review on Amazon