Pinned Loading

1. DEVFUZZ DEVFUZZ Public

   IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing

   C++ 9 2

2. IntOS IntOS Public

   Code for OSDI'24 Paper: IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing

   Rust 7 3

3. minitorch minitorch Public template

   Forked from minitorch/minitorch

   minitorch

   Python

4. qemu qemu Public

   C 1

5. stbfs stbfs Public

   A Secure Trashbin File System

   C

6. lzto/afl-proxy lzto/afl-proxy Public

   IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing

   C++ 9 1