Proof-Carrying-BPF Programs for the eBPF Verifier

Understanding Accelerator Compilers via Performance Profiling

A Pattern Generation Language for MLIR Compiler Matching and Rewriting