Stories by matt_d

Challenges and Design Issues in Finding CUDA Bugs via GPU-Native Fuzzing

SEVI: Silent Data Corruption of Vector Instructions in Hyper-Scale Datacenters

CrypTorch: PyTorch-based Auto-tuning Compiler for ML w/ Multi-party Computation

SOL-ExecBench: Speed-of-Light Benchmarking for Real-World GPU Kernels

Tony Hoare and His Imprint on Computer Science

The End of Dijkstra's Algorithm? Breaking the Sorting Barrier for Shortest Paths [video]

AlgoVeri: An Aligned Benchmark for Verified Code Gen. On Classical Algorithms

Specy: Learning Specifications for Distributed Systems from Event Traces [pdf]

Generalized Dot-Product Attention: Tackling Real-World Challenges in GPU Kernels

M^2RNN: Non-Linear RNNs with Matrix-Valued States for Scalable Language Modeling

Tools of the Trade: C2C Activation Offloading on Grace Blackwell

EsoLang-Bench: Evaluating Genuine Reasoning in LLMs via Esoteric Languages

Speed-Of-Light ExecBench: A benchmark of real-world DL kernel problems

Equality Saturation and Symbolic Regression

NCCL EP: Towards a Unified Expert Parallel Communication API for NCCL

Vectorization of Verilog Designs and its Effects on Verification and Synthesis

LATTE ’26: Workshop on Languages, Tools, and Techniques for Accelerator Design

Read Less, Steer More

The Data Structures of Roads

Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory

1 2 3 4 5 6 7 8 9 10