Stories by matt_d

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

The Intel 80386, part 14: Rescuing a stack trace after the debugger gave up

The Intel 80386, part 13: Calling conventions

Cross-Device Taxonomy: Survey, Opportunities and Challenges of Interactions…

The Intel 80386, part 12: The stuff you don’t need to know

“What Is Programming Languages Research?” The Talk – The PL Enthusiast

93
94
95
96
97
98
99
100
101
102