Compilers, Software Performance optimizations

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Tags formal-methods

Tag

formal-methods 1

Provenance Is Not Correctness Aug 14, 2026

Recently Updated

Provenance Is Not Correctness
Tight, Reproducible, and Wrong: When Your Cores Are Not Interchangeable
When XLA Isn't Enough: Pallas, Mosaic, and Triton
How JAX Shards a Computation Across a Mesh
What JAX Traces, and What It Refuses

Trending Tags

compilers jax xla gpu compiler cuda elf mlir tpu architecture

© 2026 Aditya Kumar. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

compilers jax xla gpu compiler cuda elf mlir tpu architecture

New content available