Stories by matt_d

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean

CSLib: The Lean Computer Science Library

Heliostat: Harnessing Ray Tracing Accelerators for Page Table Walks – ISCA 2025 [video]

LDOS: Toward a Learning-Directed Operating System

GenAI for Systems: Recurring Challenges&Design Principles from SW to Silicon

Precise exceptions in relaxed architectures [video]

BitFields API: Type-Safe Bit Packing for Lock-Free Data Structures

ThunderKittens 2.0: Even Faster Kernels for Your GPUs

Proof Assistants in the Age of AI

Open Source Software Projects Are Brands

Evaluating the Hardest CS Problems in the Age of LLMs

SE Radio 708: Jens Gustedt on C in 2026

Spaghetti Bench: Evaluating AI Agents on Concurrency Bug Fixes

Computer Science as Infrastructure: The Spine of the Lean CSLib

Problems with a weak tryLock operation in C and C++ standards

Two mechanisms for dynamic type checks

Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean

Oral History of Michael J. Flynn [video]

Productively Programming Accelerated Computing Systems – Rohan Yadav (Stanford) [video]

How to train your program verifier

1 2 3 4 5 6 7 8 9 10