Stories by matt_d

Global Hash Tables Strike Back! An Analysis of Parallel GROUP BY Aggregation

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

Comparing Parallel Functional Array Languages: Programming and Performance

Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI

Amortized Analysis as a Cost-Aware Abstraction Function

Chapter 2: Serializability Theory (1987 Concurrency Control Book)

SoK: Challenges and Paths Toward Memory Safety for eBPF [pdf]

Rod Burstall: In Memoriam

Using obscure graph theory to solve programming languages problems

What you want to know (but dare to ask) about Conjunctive Query Processing

2025 EuroLLVM Developers' Meeting

Reverse-Engineering the Address Translation Caches [pdf]

A whippet waypoint / Nofl: A Precise Immix

What Works (and Doesn't) Selling Formal Methods

6502 Illegal Opcodes in the Siemens PC 100 Assembly Manual (1980)

Writing a preloadable malloc in Rust, using MMTk

From Haskell to a New Structured Combinator Processor

Reverse Engineering DVFS Mechanisms [pdf]

Programming Language Design and Implementation (PLDI) 2025: Accepted Papers

An Interactive Debugger for Rust Trait Errors

14
15
16
17
18
19
20
21
22
23