Stories by matt_d

Beyond Worst-Case Analysis

Circle: The C++ Automation Language

nanoBench: A tool for running small microbenchmarks on recent x86 CPUs

Exploiting SIMD Asymmetry in ARM-to-x86 Dynamic Binary Translation

C4ML (Compilers for Machine Learning) Workshop at CGO 2019 – Slides

Janus: Statically-Driven Profile-Guided Automatic Dynamic Binary Parallelisation

Low-Cost Deterministic C++ Exceptions for Embedded Systems

Mesh: Compacting Memory Management for C/C++ Applications

Spectre is here to stay: An analysis of side-channels and speculative execution

Ranjit Jhala – Language-Integrated Verification

Formatting floating point numbers

Analyzing Efficient Stream Processing on Modern Hardware [pdf]

Algorithms Behind Modern Storage Systems

The Intel 80386, part 17: Future developments

A Quick Look at Trait Objects in Rust

The Intel 80386, part 16: Code walkthrough

Top-down performance analysis methodology

The 5-year journey to bring restartable sequences to Linux

Faster remainders when the divisor is a constant: beating compilers & libdivide

The Intel 80386, part 15: Common compiler-generated code sequences