Skip to content

Details

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
Events in 東京都, JP
Rust
Concurrent Programming
Software Development
Software QA and Testing
Concurrency

Members are also interested in