Stories by matt_d

Losing language features: some stories about disjoint unions

BeePL: Correct-by-Compilation Kernel Extensions

Caches and Abstractions

Formal Security & Verification of Cryptographic Protocol Implementations in Rust

Types That Count: Journey across Qualitative and Quantitative Intersection Types

Functional Abstract Interpretation

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]

1
2
3
4
5
6
7
8
9
10