Testing Race Conditions (projectzero.google)

I'm really interested in this! Do you have any more details?

Loom is such an amazing project. I was always surprised by the fact that similar tooling for C/C++ is much more cumbersome to use, since that's where the memory model came from.

For anyone else wondering what Loom is, it's a concurrency permutation testing tool in Rust:

https://docs.rs/loom/latest/loom/