Hacker News new | ask | show | jobs
Refactoring the FreeBSD Kernel with Checked C [pdf] (cs.rochester.edu)
2 points by iamd3vil 2146 days ago