Stories by matt_d

Sanitize your C++ containers: ASan annotations step-by-step

Errors from `close`

Wasm-R3 Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

Very few problems are in NP intersect coNP but not known to be in P.

Automated feature testing of Verilog parsers using fuzzing

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code

How to evaluate performance of LLM inference frameworks

Hardware Acceleration of LLMs: A comprehensive survey and comparison

Mix Testing: ABI Compatibility of C/C++ Atomics Implementations

How to wrap a C compiler and preprocessor, really

A Low-Level Look at A-Normal Form

The Long Way to Deforestation: A Type Inference and Elaboration Technique…

Snapshottable Stores

Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results [pdf]

Hylo: The Safe Systems and Generic-Programming Language Built on Value Semantics [video]

Batches for Recursive Data Structures

Cloaca: A Concurrent Hardware GC for Non-Strict Functional Languages

Our slowly growing Unix monoculture

ADSP Episode 197: Algorithms and Tersity with Aaron Hsu

DARPA: Translating All C to Rust (TRACTOR): Proposers Day Presentations [video]

12
13
14
15
16
17
18
19
20
21