Refactoring the FreeBSD Kernel with Checked C [pdf] - discu.eu

Hacker News

Refactoring the FreeBSD Kernel with Checked C [pdf] https://cs.rochester.edu/u/jzhou41/papers/freebsd_checkedc.pdf 41 comments 1/2/2021

Refactoring the FreeBSD Kernel with Checked C [pdf] https://www.cs.rochester.edu/u/jzhou41/papers/freebsd_checkedc.pdf 13 comments 1/8/2020

Lobsters

Refactoring the FreeBSD Kernel with Checked C https://cs.rochester.edu/u/jzhou41/papers/freebsd_checkedc.pdf 2 comments 29/7/2020 c , freebsd , pdf

Reddit

Linking pages

Windows NT vs. Unix: A design comparison - by Julio Merino https://blogsystem5.substack.com/p/windows-nt-vs-unix-design 678 comments

Related searches:

Search whole site: site:cs.rochester.edu

Search title: Refactoring the FreeBSD Kernel with Checked C [pdf]

See how to search.

Submit link to: