1 Repo
Backend-independent validation of kernel code semantics before lowering, catching errors early.
Distinct from Kernel Debuggers: Distinct from Kernel Debuggers: focuses on pre-compilation semantic validation, not runtime debugging.
Explore 1 awesome GitHub repository matching development tools & productivity · Kernel Semantic Validators. Refine with filters or upvote what's useful.
TileLang is a Python-embedded domain-specific language compiler that JIT-compiles and autotunes GPU kernels. It uses a tile-based DSL, automatic software pipelining, and parallel autotuning to generate optimized GPU kernels at runtime. It supports tensor core operations with Pythonic syntax, automatic memory management, and thread mapping. The compiler searches over tile sizes, thread counts, and scheduling policies, compiling and benchmarking candidates in parallel to find the fastest kernel. It also caches compiled binaries and tuning results to disk for reuse across sessions. TileLang inc
Validates kernel code semantics before compilation to catch errors early in the development process.