Stories by matt_d

Clang: -Wexperimental-lifetime-safety: Experimental C++ Lifetime Safety Analysis

Good Fun: Creating a Data-Oriented Parser/AST/Visitor Generator – DConf '24 [video]

Rex: Closing the language-verifier gap with safe and usable kernel extensions

PLDI 2025 coverage released: over 200 talks

Binding Application in Idris

Finding Compiler Bugs: Cross-Language Code Generator and Differential Testing

RVISmith: Fuzzing Compilers for RVV (RISC-V Vector Extension) Intrinsics

Bin2Wrong: Fuzzing Binary Decompilers

Oregon Programming Languages Summer School (OPLSS) 2025: Lectures

A Comprehensive Proposal Overviewing Blocks, Nested Functions, and Lambdas for C

WebAssembly: How Low Can a Bytecode Go?

Koala: A benchmark suite for performance-oriented shell-optimization research

Evaluating the Effectiveness of Memory Safety Sanitizers

Anarchy in the Database: A Survey and Evaluation of DBMS Extensibility [pdf]

2025 AsiaLLVM Developers' Meeting Talks

A mostly allocation-free optional type

On the Feasibility of Deduplicating Compiler Bugs with Bisection

GPEmu: A GPU emulator for rapid, low-cost deep learning prototyping [pdf]

TYPES 2025: The 31st International Conference on Types for Proofs and Programs

Magnetic Tape Storage Technology: usage, history, and future outlook

1
2
3
4
5
6
7
8
9
10