Stories by matt_d

Breaking Down Barriers – Part 2: Synchronizing GPU Threads

[PDF] BranchScope: A New Side-Channel Attack on Directional Branch Predictor

An accessible overview of Meltdown and Spectre, Part 2

Understanding CPU port contention

The history of documented Unix facilities

Types, and Why You Should Care [video]

Build systems a la carte - Microsoft Research

Performance Profiling

Jacksonville’18 ISO C++ Report – J. Daniel García

Universal Instruction Selection

Is formal really all that hard?

Mitigating speculative execution side channel hardware vulnerabilities

ed(1) is Turing-Complete

DragonFFI: FFI/JIT for the C language using Clang/LLVM

Store forwarding by example

User Interface Software and Technology

Resource Polymorphism

Copying vs. sharing in functional languages

Sulong: Finding Errors in C Programs [pdf]

[PDF] An Analysis of x86-64 Inline Assembly in C Programs