Stories by matt_d

An Imperative Language for Verified Exact Real-Number Computation

OLAP on Modern Chiplet-Based Processors [pdf]

Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index [pdf]

Speeding up C builds: Discarding the Batch Paradigm, Part 1

Microarchitectural comparison and in-core modeling of state-of-the-art CPUs

Microarchitecture and Hardware Security Research at USENIX Security 2024

Linear Doesn't Mean Easy: Applied linear algebra is much harder than advertised

Safe C++

What's in an e-graph?

Possibly all the ways to get loop-finding in graphs wrong

Sanitize your C++ containers: ASan annotations step-by-step

Errors from `close`

Wasm-R3 Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

Very few problems are in NP intersect coNP but not known to be in P.

Automated feature testing of Verilog parsers using fuzzing

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code

How to evaluate performance of LLM inference frameworks

Hardware Acceleration of LLMs: A comprehensive survey and comparison

Mix Testing: ABI Compatibility of C/C++ Atomics Implementations

How to wrap a C compiler and preprocessor, really

5
6
7
8
9
10
11
12
13
14