Verified Optimistic Optimization (intensively WIP)
-
Updated
Oct 21, 2026 - Rocq Prover
#
polyhedral-compilation
Here are 5 public repositories matching this topic...
Artifact for "A Decoupled Analytical Model for Tile Size Selection in Affine Programs". Compiler-agnostic tile size optimization via ILP modeling, evaluated on PolyBench/C with PPCG.
-
Updated
Apr 23, 2026 - Python
LLM-guided polyhedral loop optimization with compiler-in-the-loop feedback. Reference implementation, PACT 2025.
tiramisu compilers code-optimization loop-optimization auto-scheduling llm llm-agents polyhedral-compilation
-
Updated
Jul 25, 2026 - Python
A hands-on showcase and tutorial for the "LOOPer: A Learned Automatic Code Optimizer For Polyhedral Compilers" paper
deep-learning tiramisu cost-model compilers code-optimization loop-optimization auto-scheduling polyhedral-compilation
-
Updated
Jul 19, 2026 - Shell
SMT-Verified Recursive Self-Evolving Superoptimizing Compiler & Repository Synthesizer (Z3 QF_BV, Alive2, Meta Infer, BLAKE3, mimalloc)
compiler formal-verification superoptimizer z3-solver alive2 darwinian-evolution polyhedral-compilation self-evolving-compiler smt-verification repository-compiler
-
Updated
Nov 4, 2026 - Python
Add this topic to your repo
To associate your repository with the polyhedral-compilation topic, visit your repo's landing page and select "manage topics."