As hinted in the text, its the same people as behind the Rust Belt Project. http://plv.mpi-sws.org/rustbelt/
Some of them. Kayvan was also one of the people driving the Cerberus work.
Although I am intrigued, the article doesn’t really talk about the implications for existing large C codebases.
They do have a paragraph starting with “Real-world code” (Hafnium hypervisor). While it is certainly real enough for me, it probably isn’t large enough.