Bug-Free Concurrency in Rust

If you struggle with the complexities of concurrent programming, this talk is for you! Motoyuki Kimura (Software Engineer at CyberAgent) introduces Loom, a testing tool for concurrent Rust programs. Loom helps detect subtle bugs by exploring all possible execution permutations of a concurrent program. It achieves this goal using model-checking techniques. Motoyuki shows how to use Loom and gives a deep dive into the underlying model-checking techniques. Special thanks to: - LabBase for helping host and organize the event. https://labbase.jp - Anton Smetanin for editing this video. https://www.linkedin.com/in/anton-smetanin-6b94b3a8/