Stories by matt_d

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

Sound Static Data Race Verification for C: Is the Race Lost?

Monads are not like burritos

Inside torch.compile Guards: How They Work, What They Cost, and Ways to Optimize

phkmalloc

Advent of Computing: Episode 159 – The Intel 286: A Legacy Trap

Introduction to Competitive Programming in Haskell

Relational Abstractions Based on Labeled Union-Find

A Guided Tour of Polarity and Focusing

"How slow is the tracing interpreter of PyPy's meta-tracing JIT?"

JIT Code Generation with AsmJit [video]

Type Theory and Themes in Philosophical Logic

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]

Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation

Modern Minimal Perfect Hashing: A Survey

2
3
4
5
6
7
8
9
10
11