Hacker News new | past | comments | ask | show | jobs | submit login

That sounded interesting. I think it's probably this Dan, 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....



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: