That sounded interesting. I think it's probably this Dan, https://homes.cs.washington.edu/~djg/publications/ https://homes.cs.washington.edu/~djg/publications/,

That sounded interesting. I think it's probably this Dan, https://homes.cs.washington.edu/~djg/publications/ https://homes.cs.washington.edu/~djg/publications/, making said thesis "Safe programming at the C level of abstraction", https://homes.cs.washington.edu/~djg/papers/grossman_thesis.pdf https://homes.cs.washington.edu/~djg/papers/grossman_thesis....