Website · Email · LinkedIn · ORCID
Projects
-
CAIRN: An experimental language and compiler for CPUs and GPUs.
-
The Work a Verifier Needs: Experiments with SGLang inference and output-head screening.
-
B200 kernels: CUDA, CuTe DSL and Triton kernels for SOL-ExecBench.
-
Command A+ benchmarks: Inference benchmarks on two H100s.
Open source
-
FlashInfer: A fix for MoE padding under CUDA graphs.
-
NVIDIA CCCL: Execution-environment support for CUB merge sort.
-
Accel-Sim: An Ubuntu and CUDA container update.
Research
-
Preprints: Attention, learning theory and physics.
-
Lean formalizations: Work in progress.