StanfordPL / stoke
STOKE: A stochastic superoptimizer and program synthesizer
☆749Updated last year
Related projects ⓘ
Alternatives and complementary repositories for stoke
- x86-64 assembler library☆471Updated 3 years ago
- A superoptimizer for LLVM IR☆2,173Updated 2 months ago
- Automatic verification of LLVM optimizations☆797Updated this week
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆315Updated 2 years ago
- C-Reduce, a C and C++ program reducer☆1,307Updated 5 months ago
- Csmith, a random generator of C programs☆1,022Updated 9 months ago
- Computing with traps☆1,266Updated 11 years ago
- A compiler frontend for the C programming language☆537Updated 3 weeks ago
- Missed optimizations in C compilers☆342Updated 6 years ago
- ☆279Updated last year
- Alive: Automatic LLVM's Instcombine Verifier☆219Updated last year
- Yet Another Random Program Generator☆491Updated 3 months ago
- resurrected LLVM "C Backend", with improvements☆854Updated last month
- Super-parallel Python port of the C-Reduce☆244Updated last week
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆600Updated 3 weeks ago
- Stabilizer: Rigorous Performance Evaluation☆561Updated 3 years ago
- graph based intermediate representation and backend for optimising compilers☆473Updated 4 months ago
- Semantics of C in K☆306Updated 2 years ago
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆375Updated this week
- SMACK Software Verifier and Verification Toolchain☆432Updated last month
- Optimize floating-point expressions for accuracy☆771Updated this week
- The CompCert formally-verified C compiler☆1,892Updated this week
- Simple Theorem Prover, an efficient SMT solver for bitvectors☆525Updated last month
- A benchmark for low-level CPU micro-architectural features☆690Updated 2 years ago
- ☆329Updated 8 years ago
- SeaHorn Verification Framework☆441Updated 2 months ago
- EsoLangVM Compiler Infrastructure☆1,135Updated 3 months ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆633Updated last month
- Experimental wrapper over LLVM for generating and compiling code at run-time.☆381Updated 4 years ago