Stories by matt_d

Representing Data Collections in an SSA Form [pdf]

A Statically and Dynamically Scalable Soft GPGPU

High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]

RISC-V Vector Programming in C with Intrinsics

Closing word at Zürich Colloquium (1968)

PCode2C: Steps Towards Translation Validation with Ghidra and CBMC

CEK and Control Operators

Profiling Programming Language Learning

The Examplar Project: A Summary

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

16
17
18
19
20
21
22
23
24
25