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

We missed you this time around!

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

Presentations

Motoyuki Kimura

Bug-Free Concurrency in Rust

Motoyuki is a Rust software engineer. He is currently building a digital signage system at CyberAgent using Rust. He is also actively involved in open-source projects in his free time, such as Tokio-rs.

GitHub: https://github.com/mox692
X: https://x.com/mox692

Platform Sponsor

Don't let broken lines of code, busted API calls, and crashes ruin you app. Join the 4M developers and 90K organizations who consider Sentry “not bad” when it comes to application monitoring. Use code “guild” for 3 free months of the team plan.

https://sentry.io

Cover Photo for Bug-Free Concurrency in Rust

We missed you this time around!

Platform Sponsor

Don't let broken lines of code, busted API calls, and crashes ruin you app. Join the 4M developers and 90K organizations who consider Sentry “not bad” when it comes to application monitoring. Use code “guild” for 3 free months of the team plan.

https://sentry.io

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

Presentations

Motoyuki Kimura

Bug-Free Concurrency in Rust

Motoyuki is a Rust software engineer. He is currently building a digital signage system at CyberAgent using Rust. He is also actively involved in open-source projects in his free time, such as Tokio-rs.

GitHub: https://github.com/mox692
X: https://x.com/mox692

Guild

Get in touch!