Stories by matt_d

How to Make the Most Out of SIMD on AArch64?

[RFC] MLIR Dialect for WebAssembly

An SMT Formalization of Mixed-Precision Matrix Multiplication

From Boolean logic to bitmath and SIMD: transitive closure of tiny graphs

Autocomp: LLM-Driven Code Optimization for Tensor Accelerators

GPU Memory Consistency: Specs, Testing, and Opportunities for Perf Tooling

Potential and Limitation of High-Frequency Cores and Caches (2024)

GDBMiner: Mining Precise Input Grammars on Almost Any System

Spegion: Implicit and Non-Lexical Regions with Sized Allocations

Linearity and Uniqueness

INTERCAL Rides Again – Restoring a Lost Compiler

Understanding Memory Management, Part 6: Basic Garbage Collection

Uniqueness for Behavioural Types

TPDE: A Fast Adaptable Compiler Back-End Framework

The missing guide to Dataflow Analysis in MLIR

Current Continuation E2: Satnam Singh (Groq) [video]

Games on ARM64: Introduction to FEX EMU, a fast usermode x86-64 emulator [video]

Bidirectional typing with unification for higher-rank polymorphism

DWARF as a Shared Reverse Engineering Format

Finite-Choice Logic Programming (POPL 2025) [video]

3
4
5
6
7
8
9
10
11
12