Stories by matt_d

Distinguishing an Interpreter from a Compiler

Revisiting Language Support for Generic Programming

Tiny Pointers

Bounded Flexible Arrays in C

Adding custom instructions in the RISC-V ISA

Oral History of Ken Thompson

AVX512: Generating Constants

Compiling higher-order specifications to SMT solvers

POPL 2023 Proceedings (Principles of Programming Languages)

Hunter: Using Change Point Detection to Hunt for Performance Regressions

Myths and Legends in High-Performance Computing

Value Semantics: Safety, Independence, Projection, & Future of Programming

The Design and Implementation of User-Schedulable Languages

26 programming languages in 25 days, Part 2: Reflections on language design

Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing

2022 LLVM Developers' Meeting – Talks

Programming Languages: Application and Interpretation (PLAI): Third Edition

Pop Quiz! Can a Large Language Model Help With Reverse Engineering?

Still Entombed: The continuing twists and turns of a maze game [pdf]

Formally Verified Native Code Generation in an Effectful JIT [pdf]

53 54 55 56 57 58 59 60 61 62