Stories by matt_d

Alive 2 Part 1: Introduction

Virtual Machine Research Overview

The Early History of F# – Don Syme – HOPL IV: History of Programming Languages [pdf]

seL4 Design Principles

Kinds are Calling Conventions

The Remarkable Utility of Dataflow Computing

How domain experts create diagrams, and implications for tool design [pdf]

High Performance Code Generation in MLIR: An Early Case Study with GEMM

Take a Way: Exploring the Security Implications of AMD’s Cache Way Predictors [pdf]

The Odyssey of Stark and Melody: Prototyping a New Language and OS w/.NET & seL4

Security analysis of memory tagging [pdf]

Invariants and Preconditions

A brief introduction to fuzzing and why it’s an important tool for developers

The core memory inside a Saturn V rocket's computer

Go Huge or Go Home: POPL’19 Most Influential Paper Retrospective

ARMv8-A system semantics: instruction fetch in relaxed architectures

On the unreasonable effectiveness of Richardson extrapolation

Compiler-Based Graph Representations for Deep Learning Models of Code

Slow and Steady: Measuring and Tuning Multicore Interference (RTAS 2020) [pdf]

FPGA 2020 Highlights: An HLS Perspective

65
66
67
68
69
70
71
72
73
74