Stories by matt_d

Scaling Instruction-Selection Verification Against Authoritative ISA Semantics

10 Myths of Scalable Parallel Languages Part 7: Minimalist Language Designs

CPU Autoscaling with a Kernel of Truth

SafeRace: WebGPU Memory Safety in the Presence of Data Races

A guided tour through Oxidized OCaml

Functional Networking for Millions of Docker Desktops (Experience Report)

Does Linux Provide Performance Isolation for NVMe SSDs? Configuring cgroups [pdf]

International Conference on Managed Programming Languages & Runtimes (MPLR) 2025

Collective Matrix Multiplication – JAX Pallas:Mosaic GPU

StreamTensor: Make Tensors Stream in Dataflow Accelerators for LLMs

Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k

Hybrid Architectures for Language Models: Systematic Analysis & Design Insights

LLMc: Beating All Compression with LLMs

Muon Outperforms Adam in Tail-End Associative Memory Learning [video]

Barbara Liskov Oral History [video]

CMOS 2.0 – Redefining the Future of Scaling

Fuss-Free Universe Hierarchies

Pretraining Large Language Models with NVFP4

The Next Computing Revolution: Bringing Processing Inside Memory

3
4
5
6
7
8
9
10
11
12