100 citations · 126 across the 14 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
RESOLVE: Language-Agnostic Validation of GPU Kernels Through Testing, Reduction, and Proof
Ashkan Vedadi Gargary, Guido Martínez, Sebastian Burckhardt +4
AI systems can now write and optimize production GPU kernels, but validating them remains an important challenge. Evaluating the kernel on a few random inputs and checking that its…
cs.DC2026
Tile-Level Activation Overlap for Efficient LLM Inference
Abhinav Jangda, Tyler Sorensen, Sebastian Burckhardt +3
SwiGLU is the dominant MLP activation in modern large language models, yet its intermediate tensor materialization costs 9-37% of MLP execution time. We present two complementary C…