Popular repositories Loading

1. tinynf tinynf Public

   Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)

   Roff 62 7

2. cloud9 cloud9 Public

   The Cloud9 main repository

   C++ 52 29

3. asap asap Public

   Official repository for ASAP: High System-code Security at Low Overhead

   C++ 25 8

4. lfi lfi Public

   Fault injection library

   Objective-C 22 10

5. pix pix Public

   Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.

   C 16 3

6. tpot tpot Public

   Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)

   C 15 1