Let's not forget the Biscuit operating system by MIT just recently published at OSDI'18:
- The paper: https://pdos.csail.mit.edu/papers/biscuit.pdf
- The code: https://github.com/mit-pdos/biscuit
- The paper: https://pdos.csail.mit.edu/papers/biscuit.pdf
- The code: https://github.com/mit-pdos/biscuit
Oh yeah another thing that just showed up on the front page actually, someone writing network drivers for their bachelor's thesis in Go:
https://www.net.in.tum.de/fileadmin/bibtex/publications/thes...