Bug-Free Concurrency in Rust

RSVP here: click

If you struggle with the complexities of concurrent programming, this talk is for you!

Motoyuki Kimura (Software Engineer at CyberAgent) will introduce 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 will show us how to use Loom and also dive into the underlying model-checking techniques.

Agenda

• 30 minutes open chat
• 45 minutes presentation & questions
• 30 minutes open chat