Stories by matt_d

Analyzing Latency Hiding and Parallelism in an MLIR-Based AI Kernel Compiler

Argus: Automated Discovery of Test Oracles for DBMSs Using LLMs

A Decade of Docker Containers

In Pursuit of High-Fidelity GPU Kernel Benchmarking

From ASPLOS to Orbit: Unikernels Twelve Years Later

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

16 17 18 19 20 21 22 23 24 25