Unfortunately not that many; I also don't believe that all the exited folks will really switch to Rust. Maybe this one is interesting for you: https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...