Stories by matt_d

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

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

31
32
33
34
35
36
37
38
39
40