Cover Photo for Bug-Free Concurrency in Rust

Bug-Free Concurrency in Rust

Primary Photo for Tokyo Rust

Hosted by

Tokyo Rust

In-Person

Address available to attendees

Ready to join in on the fun?

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

Bug-Free Concurrency in Rust

Primary Photo for Tokyo Rust

Hosted by

Tokyo Rust

In-Person

Address available to attendees

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

Guild

Get in touch!

hi@guild.host