Stories by matt_d

Optimizing the Clang compiler’s line-to-offset mapping

The Once and Future Shell [pdf]

I See Dead µops: Leaking Secrets via Intel/AMD Micro-Op Caches [pdf]

History of Programming Languages: Lectures

Reproducing Spectre Attack with gem5

Alive2: Bounded Translation Validation for LLVM [pdf]

Effective Simulation and Debugging for a High-Level Hardware Language

Fish in a Barrel: an insider’s retrospective of the SOSP’09 multikernel paper

The Golden Age of Compiler Design in an Era of HW/SW Co-Design – Chris Lattner

Architectural Support for Programming Languages and Operating Systems Awards

Vegen: A Vectorizer Generator for SIMD and Beyond

How Developers Choose Names

Historical Performance Benchmarks

Reducing code size with LLVM Machine Outliner on 32-bit Arm targets

One WITH RECURSIVE Is Worth Many GOTOs

Architecture All Access: Modern CPU Architecture II: Microarchitecture Deep Dive

Fast and Extensible Equality Saturation with egg

Idris 2: Quantitative Type Theory in Practice

An Overview of Test Case Reduction

LLVM’s New Pass Manager

58
59
60
61
62
63
64
65
66
67