Skip to content
Change the repository type filter

All

    Repositories list

    • KNighter

      Public
      [SOSP'25] Automatic checker synthesis for system-level static analysis
      C++
      73711Updated Sep 14, 2025Sep 14, 2025
    • KernelGPT

      Public
      KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)
      C++
      2013440Updated Aug 25, 2025Aug 25, 2025
    • WhiteFox

      Public
      WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
      Python
      96530Updated Aug 5, 2025Aug 5, 2025
    • blazedit

      Public
      Making code edting up to 7.7x faster using multi-layer speculation
      Python
      02410Updated Feb 20, 2025Feb 20, 2025
    • 🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
      Python
      30k000Updated Feb 8, 2025Feb 8, 2025
    • nnsmith

      Public
      Automatic DNN generation for fuzzing and more
      Python
      3213970Updated Jan 14, 2025Jan 14, 2025
    • magicoder

      Public
      [ICML'24] Magicoder: Empowering Code Generation with OSS-Instruct
      Python
      1712k40Updated Nov 1, 2024Nov 1, 2024
    • xft

      Public
      XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts
      Python
      23500Updated Jul 2, 2024Jul 2, 2024
    • NablaFuzz

      Public
      Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)
      Python
      42400Updated Mar 2, 2024Mar 2, 2024
    • Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
      Python
      53100Updated Nov 13, 2023Nov 13, 2023
    • Repilot

      Public
      Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair"
      Python
      1213300Updated Oct 9, 2023Oct 9, 2023
    • QuixBugs

      Public
      Modified QuixBugs
      Java
      0100Updated Oct 5, 2023Oct 5, 2023
    • TitanFuzz

      Public
      Python
      158641Updated Sep 10, 2023Sep 10, 2023
    • DeepREL

      Public
      Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
      Python
      73950Updated May 17, 2023May 17, 2023
    • tzer

      Public
      Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
      Python
      137010Updated Mar 9, 2023Mar 9, 2023
    • uniapr

      Public
      Fast and Precise On-the-fly Patch Validation for All
      Java
      11020Updated Feb 24, 2023Feb 24, 2023
    • FASER

      Public
      Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests (ICSE'23)
      Python
      0910Updated Feb 8, 2023Feb 8, 2023
    • FreeFuzz

      Public
      Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
      Python
      157950Updated Nov 2, 2022Nov 2, 2022