Stories by matt_d

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

CTTK: Constant-Time Toolkit

The Basic Toolbox

Numerical Tools for Non-Experts - Microsoft Research

Systolic CNN AcceLErator Simulator (SCALE Sim)

Introduction to LLVM [video]

Unix Architecture Evolution from the 1970 PDP-7 to the 2018 FreeBSD

Computer Architecture – ETH Zürich – Fall 2017

DragonFFI: C Foreign Function Interface and JIT Using Clang/LLVM

A Conversation about Teaching Software Engineering

Untyped Programs Don’t Exist