Stories by matt_d

Moving to two’s complement sign representation – Modification request for C2x [pdf]

The Intel 80386, part 6: Data transfer instructions

TVM and Deep Learning Compiler Conference: Slides and Videos

Making C Less Dangerous in the Linux Kernel

Intel 80386, part 5: Logical operations

Intel 80386, part 4: Arithmetic

Intel 80386, part 3: Flags and condition codes

DNN Approximation for Custom Hardware: Where We've Been, Where We're Going

Writing Cache-Friendly C++

Intel 80386, part 2: Memory addressing modes

How McSema Handles C++ Exceptions

Finding Compiler Bugs with C-Reduce

Indexer error cases

Is It Time for RISC and CISC to Die?

Miasm IR getting higher: high-level flags and out-of-SSA translation

snmalloc: Message passing based allocator

Radia Perlman: “Computer Networks: Myths, Missteps, and Mysteries” (TCSDLS 2019)

Formally Verified Big Step Semantics out of x86-64 Binaries

Test Driven Development in Assembler

HPL and DGEMM performance variability on Intel Xeon Platinum 8160 processors