Writing eBPF programs with Elixir!
C 296 11
Code examples used for the LAC LLVM course
C++ 137 17
A tool for synthesizing Verilog programs
Verilog 124 14
Automatic conversion of call by value into call by need in the LLVM IR.
C++ 63 6
Synthesis of Optimized Hash Functions
C++ 55 4
A tool to eliminate timing-based side channels
LLVM 52 6
Value-Domain Analysis
Sparsity propagation enabled by static analysis.
Implementation of Sparsity Propagation Analysis on MLIR
MLIR dialect for observing runtime values of tensors
Automatic Generation of Benchmarks to Stress-Test Computing Systems.
Memory allocation heuristics for tensor programs