Stories by matt_d

Functional State Machines in Rust: Typestate and Newtype Patterns

Chunky Agents

I accidentally turned LLM memory into program analysis

Accel-SIM 2.0: Validated GPU Simulation with Full Hopper Support

Terminal-Bench-Science: Evaluating AI agents on scientific research workflows

XPress: Parallel Refinement for Diffusion Drafters in Speculative Decoding

SoK: Multi-Layer Indirect Call Analysis in the Real World [pdf]

Composition and Modular Verification of TLA+ Specs

IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++

Maia 200: A Software Defined Dataflow System for Large-Scale AI Acceleration

Mold: A Massively Parallel Linker

Change MIR to use block arguments instead of phis – LLVM Code Generation RFC

A Thread-Register Decoupled GPU Execution Model for Efficient Tensor Computation

From LLM Inference to Agentic Workloads: Characterization and Implications

Flat vs. segmented memory – it's recursive

Escaping the Quicksand: A Call to Arms

Memory Ordering in CPUs

A Verified Generational GC for OCaml

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

Evaluating Shrinking (Experience Report)

1 2 3 4 5 6 7 8 9 10