Stories by matt_d

Microarchitecture: What Happens Beneath – Matt Godbolt [video]

SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style

Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs

Oral History of Jeffrey Ullman [video]

CPU Autoscaling with a Kernel of Truth

ACM Transactions on Programming Languages & Systems: New Year, New Paper Tracks

An Empirical Study of Bugs in the rustc Compiler (OOPSLA 2025) [video]

A "Ready-to-Use" Template for LLVM Out-of-Tree Passes

Mini-SGLang: Efficient Inference Engine in a Nutshell

FrontierCS: Evolving Challenges for Evolving Intelligence

svc-hook: hooking system calls on ARM64 by binary rewriting

The Simple Essence of Monomorphization (Oopsla 2025) [video]

Abusing x86 instructions to optimize PS3 emulation [RPCS3] [video]

Decompiling the Synergy: Human–LLM Teaming in Reverse Engineering [pdf]

Soteria Rust: the first symbolic execution engine with full Tree Borrows support [video]

Testing and Benchmarking of AI Compilers

Interpreters everywhere! – Lindsey Kuper [video]

The Wild West of post-POSIX IO Interfaces [video]

Using the `vpternlogd` instruction for signed saturated arithmetic

21 22 23 24 25 26 27 28 29 30