1. 13

  2. 4

    As hinted in the text, its the same people as behind the Rust Belt Project. http://plv.mpi-sws.org/rustbelt/

    1. 1

      Some of them. Kayvan was also one of the people driving the Cerberus work.

    2. 1

      Although I am intrigued, the article doesn’t really talk about the implications for existing large C codebases.

      1. 3

        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.