Stories by matt_d

torchcomms: A modern PyTorch communications API

Building an Open ABI and FFI for ML Systems

Instruction Set Migration at Warehouse Scale

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, COSE [pdf]

The Calculated Typer – Haskell Symposium (ICFP⧸SPLASH'25) [video]

PickleBall: Secure Deserialization of Pickle-Based Machine Learning Models

Clang Bytecode Interpreter Update

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

9 10 11 12 13 14 15 16 17 18