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
Rust
Concurrent Programming
Software Development
Software QA and Testing
Concurrency