Stories by matt_d

A CAP Tradeoff in the Wild

IEEE/ACM International Symposium on Code Generation and Optimization (CGO) 2024

Memory Simulations, Security and Optimization in a Verified Compiler

Precision and Performance Analysis of C Standard Math Library Functions on GPUs

ComPile: A Large IR Dataset from Production Sources

Tools for Learning LLVM TableGen

How Badly Do We Want Correct Compilers? – John Regehr – NDC TechTown 2023 [video]

The mysterious second parameter to the x86 ENTER instruction

What if an SQL statement returned a database?

Cling (interactive C++ interpreter): Release 1.0

A simple high-dynamic-range (HDR) histogram

The SAT Museum [pdf]

Cramming a tiny program into a tiny ELF file

The Evolution of Effects – Haskell 2023 – Nicolas Wu [video]

Symposium on Principles of Programming Languages (POPL) 2024 – Accepted Papers

zpoline: System call hook for x86-64 Linux

Linux Kernel Module (LKM) Golf

The last 5 years of V8's garbage collector

How single-iteration InstCombine improves LLVM compile time

How symbols work and why we need them – Anders Schau Knatten – NDC TechTown 2023 [video]

23
24
25
26
27
28
29
30
31
32