Stories by matt_d

Minimalist Design for Space Camera Flight Software

AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean

Fine-Tuning GPT-5 for GPU Kernel Generation

"Am I the only one still wondering what is the deal with linear types?" – Jon S

Running the "Reflections on Trusting Trust" Compiler: Revisiting the Backdoor

TileIR

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language

TLX: Triton-Like Simplicity, a Clear Path to Peak Performance [video]

Automating Inference Optimizations with NVIDIA TensorRT LLM AutoDeploy

SMTLIB as a Compiler IR I

Equality Saturation Meets ML: The Next Step for Smarter Optimizing Compilers [video]

Silicon Photonics in the Data Center: What a CMOS Exec Needs to Know

Verifying Distributed Protocols in Veil

Project Pterodactyl: Incremental Architecture

European Lisp Symposium 2025: Talks

AutoOverlap: Enabling Fine-Grained Overlap of Computation and Communication

Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers

35th ACM SIGPLAN International Conference on Compiler Construction (CC 2026)

VFlatten: Selective Value-Object Flattening Using Hybrid Static&Dynamic Analysis [pdf]

Agentic Proof-Oriented Programming

2 3 4 5 6 7 8 9 10 11