Alternatives and similar repositories for Dragon:

Users that are interested in Dragon are comparing it to the libraries listed below

• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆25Updated 3 years ago
• pku-minic / compiler-dev-test-cases
  Local test cases for SysY compilers, used by compiler-dev.
  ☆22Updated 3 years ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆30Updated last year
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆53Updated last month
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆36Updated 7 months ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 3 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 3 months ago
• chenyxuan / PintOS
  system 2019 project
  ☆14Updated 4 years ago
• xiongyingfei / CitationAnalysis
  ☆22Updated 3 weeks ago
• SJTU-CSE / courses-icu
  CSE课程学习方法搜集
  ☆22Updated 4 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆187Updated last year
• WilliamX1 / tiger-compiler
  tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).
  ☆48Updated 3 years ago
• cs161-staff / project2-starter-code
  Skeleton code for CS161 Project 2
  Updated 3 months ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 2 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated last month
• bluesadi / Tai-e-solutions
  My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html
  ☆51Updated 2 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• ZhenbangYou / Computer-Systems-Learning-Resources-A-Recommended-List
  ☆59Updated last year
• zhenghaoz / ucore
  uCore Operating System Lab
  ☆48Updated 7 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• AceSrc / GiantSan-Artifact
  ☆10Updated last year
• xgdsmileboy / SE-Papers
  This repo aims at providing a simple paper reading roadmap for beginners on some research topics in software engineering.
  ☆18Updated 3 years ago
• JacyCui / cpp-static-analyzer
  A Simple CPP Static Analysis Framework
  ☆21Updated last year
• stan6 / se-paper
  ☆74Updated 2 years ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆15Updated 4 years ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆33Updated 2 weeks ago