Stories by matt_d

Practical Formal Verification for MLIR Programs

Kerncap: Automated Kernel Extraction and Isolation for AMD GPUs

Capsules: Compile-time lock discipline in OxCaml

Data Race Freedom in OxCaml

cuda-oxide: a custom rustc backend for compiling GPU kernels in pure Rust

A case study with Aeneas and jxl-rs

Finite Functional Programming

CommFuse: Hiding Tail Latency via Communication Decomposition and Fusion

SPEC CPU: The Next Generation

Persistent Iterators with Value Semantics

Continual Learning Bench 1.0

The Valley of Calm

The Static Dynamic JVM – A Many Layered Dive [video]

Learning Randomized Reductions

Metastability in Recovery: Cascading Recovery with a Loop

How the JVM Optimizes Generic Code – A Deep Dive

Tessera: Unlocking Heterogeneous GPUs Through Kernel-Granularity Disaggregation

MathDuels: Evaluating LLMs as Problem Posers and Solvers

Kernel Contracts: A Spec. Language for Correctness Across Heterogeneous Silicon

Revealing NVIDIA Driver Command Streams for CPU-GPU Runtime Behavior Insight

5 6 7 8 9 10 11 12 13 14