"shifted their focus to proving the opposite –..data races under specific circumstances."
A nice demonstration of the "Other way around" principle. Nice work.
"but this kind of concurrency problem has been sidestepped altogether decades ago"
I might agree.
But how many people use "Erlang, Rust, Go, Scala." ?
And which ones will still have a developer pool you can actually recruit from in a decade?