Sveriges mest populära poddar
Microsoft Research Podcast
Teknologi

Abstracts: November 5, 2024

15 min•5 november 2024

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

Fler avsnitt av Microsoft Research Podcast

Visa alla avsnitt av Microsoft Research Podcast
Will machines ever be intelligent?
•1 tim 8 min
Trailer: The Shape of Things to Come
•2 min
Ideas: Community building, machine learning, and the future of AI
•56 min
Ideas: More AI-resilient biosecurity with the Paraphrase Project
•52 min
Coauthor roundtable: Reflecting on healthcare economics, biomedical research, and medical education
•1 tim 18 min
Reimagining healthcare delivery and public health with AI
•1 tim 16 min
Navigating medical education in the era of generative AI
•1 tim 16 min
AI Testing and Evaluation: Reflections
•29 min
AI Testing and Evaluation: Learnings from cybersecurity
•35 min
How AI will accelerate biomedical research and discovery
•1 tim 31 min

Microsoft Research Podcast med Researchers across the Microsoft research community finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.