Stories by matt_d

Spotting Specification Gaps with Small Proof-Oriented Tests

Theseus, a Static Windows Emulator

Advent of Computing: Episode 179 – Programming Block by Block

Agentic Context Engineering:Evolving Contexts for Self-Improving Language Models

Prefill-as-a-Service:KVCache of Next-Generation Models Could Go Cross-Datacenter

Fundamentals of CuTe Layout Algebra and Category-Theoretic Interpretation [video]

OSS code review, in the era of LLMs

Proteus: Heterogeneous FPGA Virtualization [pdf]

Trevex: A Black-Box Detection Framework for Data-Flow Transient Execution Vulns

From SIMT to Systolic Part 2: A Kernel Author's Field Report

Machine Generated and Checked Proofs for a Verified Compiler (Experience Report)

Machine-Generated Code Deserves Machine-Checked Proofs

What Happens to Software When Proof Is Cheap? Allen School Distinguished Lecture [video]

TileTensor Part 1 – Safer, More Efficient GPU Kernels

EuroLLVM 2026 Round Table Summary: MLIR Canonicalization

nanomem: An Simple, Inference-Time Memory Module

Building an Unverified Compiler with Agents

WybeCoder: Verified Imperative Code Generation

Parcae: Doing More with Fewer Parameters Using Stable Looped Models

Characterizing the Impact of Congestion in Modern HPC Interconnects

8 9 10 11 12 13 14 15 16 17