Stories by matt_d

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

10 Myths of Scalable Parallel Languages, Part 3: New vs. Extended

Converging AI and HPC: Design and Optimization of a CGRA Architecture [pdf]

Multi-Stage Programming with Splice Variables

Type Theory and Themes in Philosophical Logic – Greg Restall – TYPES 2025

BinDSA: Efficient, Precise Binary-Level Pointer Analysis

Bridging the Gaps Between GNNs and Data-Flow Analysis: The Closer, the Better

10
11
12
13
14
15
16
17
18
19