Pinned Loading

1. ise-uiuc/KernelGPT ise-uiuc/KernelGPT Public

   KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)

   C++ 152 23

2. ise-uiuc/WhiteFox ise-uiuc/WhiteFox Public

   WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)

   Python 74 9

3. ise-uiuc/KNighter ise-uiuc/KNighter Public

   [SOSP'25] Automatic checker synthesis for system-level static analysis

   C++ 154 19

4. ise-uiuc/NablaFuzz ise-uiuc/NablaFuzz Public

   Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)

   Python 28 4

5. ise-uiuc/FreeFuzz ise-uiuc/FreeFuzz Public

   Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)

   Python 81 15

6. microsoft/verus-proof-synthesis microsoft/verus-proof-synthesis Public

   Rust 59 15