Stories by matt_d

Koala: A benchmark suite for performance-oriented shell-optimization research

Evaluating the Effectiveness of Memory Safety Sanitizers

Anarchy in the Database: A Survey and Evaluation of DBMS Extensibility [pdf]

2025 AsiaLLVM Developers' Meeting Talks

A mostly allocation-free optional type

On the Feasibility of Deduplicating Compiler Bugs with Bisection

GPEmu: A GPU emulator for rapid, low-cost deep learning prototyping [pdf]

TYPES 2025: The 31st International Conference on Types for Proofs and Programs

Magnetic Tape Storage Technology: usage, history, and future outlook

10 Myths of Scalable Parallel Languages, Part 3: New vs. Extended

Converging AI and HPC: Design and Optimization of a CGRA Architecture [pdf]

Multi-Stage Programming with Splice Variables

Type Theory and Themes in Philosophical Logic – Greg Restall – TYPES 2025

BinDSA: Efficient, Precise Binary-Level Pointer Analysis

Bridging the Gaps Between GNNs and Data-Flow Analysis: The Closer, the Better

AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs

Lifetime Dispersion and Generational GC: An Intellectual Abstract

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine

Telescopes Are Tries: A Dependent Type Shellac on SQLite

Linux x86_64 Assembly Programming Part 5: Macros

6
7
8
9
10
11
12
13
14
15