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.
Get in touch!
hi@guild.host