Repositories list

• KNighter

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

  linuxstatic-analysisllm-agent

  linuxstatic-analysisllm-agent

  C++

  •

  Apache License 2.0

  •19•167•2•3•Updated Oct 26, 2025Oct 26, 2025

• KernelGPT

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

  testinglinuxsyzkaller

  testinglinuxsyzkaller

  C++

  •

  Apache License 2.0

  •24•165•5•0•Updated Aug 25, 2025Aug 25, 2025

• WhiteFox

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

  deep-learningtensorflowllvm+ 2

  deep-learningtensorflowllvmpytorchsoftware-testing

  Python

  •

  Apache License 2.0

  •9•79•4•0•Updated Aug 5, 2025Aug 5, 2025

• blazedit

  Public
  Making code edting up to 7.7x faster using multi-layer speculation

  Python

  •1•24•1•0•Updated Feb 20, 2025Feb 20, 2025

• transformers

  Public
  🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

  Python

  •

  Apache License 2.0

  •32k•0•0•0•Updated Feb 8, 2025Feb 8, 2025

• nnsmith

  Public
  Automated DNN generation for fuzz testing and more

  machine-learningdeep-learningcompiler+ 3

  machine-learningdeep-learningcompilertensorflowpytorchfuzzing

  Python

  •

  Apache License 2.0

  •36•143•8•1•Updated Jan 14, 2025Jan 14, 2025

• magicoder

  Public
  [ICML'24] Magicoder: Empowering Code Generation with OSS-Instruct

  large-language-modelsai4codellm+ 1

  large-language-modelsai4codellmllm4code

  Python

  •

  MIT License

  •172•2.1k•4•0•Updated Nov 1, 2024Nov 1, 2024

• xft

  Public
  XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts

  Python

  •

  Apache License 2.0

  •2•35•0•0•Updated Jul 2, 2024Jul 2, 2024

• NablaFuzz

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

  deep-learningtensorflowpytorch+ 5

  deep-learningtensorflowpytorchautogradfuzzingautodiffjaxoneflow

  Python

  •4•27•0•0•Updated Mar 2, 2024Mar 2, 2024

• neuri-artifact

  Public
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"

  Python

  •

  Apache License 2.0

  •5•32•0•0•Updated 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 Automate…

  program-synthesiscode-generationprogram-repair+ 2

  program-synthesiscode-generationprogram-repaircode-completionlarge-language-models

  Python

  •

  Apache License 2.0

  •12•136•0•0•Updated Oct 9, 2023Oct 9, 2023

• QuixBugs

  Public
  Modified QuixBugs

  Java

  •0•1•0•0•Updated Oct 5, 2023Oct 5, 2023

• TitanFuzz

  Public
  Python

  •15•91•4•1•Updated Sep 10, 2023Sep 10, 2023

• DeepREL

  Public
  Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)

  deep-learningtensorflowpytorch+ 1

  deep-learningtensorflowpytorchfuzzing

  Python

  •7•40•5•0•Updated May 17, 2023May 17, 2023

• tzer

  Public
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.

  Python

  •

  Apache License 2.0

  •13•71•1•0•Updated Mar 9, 2023Mar 9, 2023

• uniapr

  Public
  Fast and Precise On-the-fly Patch Validation for All

  Java

  •1•10•1•0•Updated Feb 24, 2023Feb 24, 2023

• FASER

  Public
  Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests (ICSE'23)

  Python

  •0•9•1•0•Updated Feb 8, 2023Feb 8, 2023

• FreeFuzz

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

  tensorflowpytorchmining+ 1

  tensorflowpytorchminingfuzzing

  Python

  •15•82•5•0•Updated Nov 2, 2022Nov 2, 2022