Stories by matt_d

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

Sequential Search, Correctly

Type Theory Forall #39: Equality, Quotation, Bidirectional Type Checking

Path Generics in Rust: A Sketch Proposal for Simplicity and Generality

35 36 37 38 39 40 41 42 43 44