bhumbers / optcomp

Related projects ⓘ

Alternatives and complementary repositories for optcomp

• tpchina / tpchina.github.io
  ☆15Updated last year
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• sderek / CUDAAdvisor
  CUDAAdvisor: a GPU profiling tool
  ☆48Updated 6 years ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆13Updated 9 months ago
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆14Updated 3 years ago
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆43Updated 10 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated 11 months ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆37Updated this week
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• FP-Analysis / atomic-condition
  ☆20Updated 5 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆28Updated 5 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆13Updated 5 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆73Updated last week
• columbia / neongoby
  NeonGoby alias analysis checker
  ☆15Updated 11 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆30Updated last month
• jarulraj / llvm
  Compiler Course
  ☆17Updated 9 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆14Updated 5 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆29Updated 9 years ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated 3 weeks ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• efeslab / huron
  A false sharing detection and repair tool
  ☆12Updated 5 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 11 years ago