Stories by matt_d

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

Donald Knuth Lectures

Debugopt: Debugging fully optimized natively compiled programs

Under the hood of Formal Verification

You Cannot Improve What You Don't Measure: FPGA vs. ASIC Efficiency Gaps for CNN [pdf]

Automatic Equivalence Checking for Assembly Implementations of Cryptography Lib.

95
96
97
98
99
100
101
102
103
104