Stories by matt_d

BaseJump STL: A Standard Template Library for SystemVerilog

RowHammer: A Retrospective

The essence of (im)pure computation

The Semantics of Multicopy Atomic ARMv8 and RISC-V

Implementing the C++ Core Guidelines' Lifetime Safety Profile in Clang

Spelunking in the Turing Tarpit: Expedition Through an Esoteric Landscape

GCC 9.1 Released

GCC 9: Link-time and inter-procedural optimization improvements

How to make a programming language out of an algebra

Nanosecond-Level Clock Synchronization in a Data Center – Stanford Seminar

Greybox Fuzzing with Grammars

How LLVM Optimizes Geometric Sums

MLIR Tutorial: Building a Compiler with MLIR – EuroLLVM 2019

Boolean Circuits are Neural Networks

MLIR: Multi-Level Intermediate Representation for Compiler Infrastructure

A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture

A Checklist Manifesto for Empirical Evaluation

ClangJIT: Enhancing C++ with Just-in-Time Compilation

Modern SAT solvers: fast, neat and underused – part 3: CDCL

Greybox Fuzzing – Generating Software Tests