Dependable Systems Laboratory

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 65 7

2. cloud9 cloud9 Public

   The Cloud9 main repository

   C++ 56 30

3. asap asap Public

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

   C++ 28 8

4. tpot tpot Public

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

   C 24 2

5. lfi lfi Public

   Fault injection library

   Objective-C 23 11

6. lpn lpn Public

   Repo for Performance Interfaces for Hardware Accelerators.

   C++ 21 1