1. 16
    Refactoring the FreeBSD Kernel with Checked C pdf c freebsd cs.rochester.edu
    calvin avatar via calvin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  1. 5
    rogersm avatar rogersm 2 years ago | link

    Great paper! It looks it makes sense to move critical code to safer C dialects. Performance is not impacted and modifying the code is not as difficult as I was expecting.

    1. 2
      inactive-user avatar inactive-user 2 years ago | link

      Wow this is incredible, and it looks like they’ve only seen 1% performance loss so far?!