Stories by matt_d

FTTN: Feature-Targeted Testing for Numerical Properties of Matrix Accelerators

A proof of proof by infinite descent

A survey of general-purpose polyhedral compilers

Optimizing Distributed Protocols with Query Rewrites

International Conference on Functional Programming ICFP 2024 Accepted Papers

Falcon: A Scalable Analytical Cache Model

Misconceptions about loops in C

The C Standard Charter

A Case for Parallel-First Languages in a Post-Serial, Accelerated World [video]

Indirector: High-Precision Branch Target Injection Attacks Exploiting the IBP [pdf]

Writing an IR from Scratch and survive to write a post

Deriving Dependently-Typed OOP from First Principles

2024 EuroLLVM Developers' Meeting Videos

Control Structures, English Translation of Lectures by Xavier Leroy

Compiling with Abstract Interpretation

Programming Language Design and Implementation (PLDI) 2024 Proceedings

When Is Parallelism Fearless and Zero-Cost with Rust?

Always Measure One Level Deeper

Closure-Free Functional Programming in a Two-Level Type Theory

Oregon Programming Languages Summer School (OPLSS) 2024 Lectures

16
17
18
19
20
21
22
23
24
25