Stories by matt_d

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

CVDP: LLM Benchmark for Verilog RTL Design and Verification

Trip report: June 2025 ISO C++ standards meeting

2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)

Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award)

The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (PEPM 2025) [video]

Compiling LLMs into a MegaKernel: A path to low-latency inference

Usability Barriers for Liquid Types

Exploring the Theory and Practice of Concurrency in the ECS Pattern [pdf]

Elaboration with Error Recovery

1
2
3
4
5
6
7
8
9
10