Stories by matt_d

FIDES: End-to-end Compartments for Mixed-language Systems [pdf]

Practical Type Inference: High‑Throughput Recovery of Real‑World Types

Idempotent Slices with Applications to Code-Size Reduction

Designing AI Chip Hardware and Software

Refinement Modeling and Verification of RISC-V Assembly Using Knuckledragger

Breaking Control Flow Integrity by Abusing Modern C++ (Coroutines) – BH USA 2025 [video]

Programming the Loop

Scalable Training of Mixture-of-Experts Models with Megatron Core

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks

Formalizing Data Structures and Algorithms with Agents

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

Advent of Computing: Dan Temkin – Forty-Four Esolangs

Checking Write Bandwidth on GPUs

Challenges in Decompilation and Reverse Engineering of CUDA-Based Kernels [pdf]

Block Number Formats Are Direction Preservers

Cutie Fly: CuTe Layout Representation and Algebra, CuTeDSL, FlyDSL

Converting Binary Floating-Point Numbers to Shortest Decimal Strings

Controlling Floating-Point Determinism in NVIDIA CCCL

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using LLMs

Custom Data Structures in E-Graphs

14 15 16 17 18 19 20 21 22 23