Stories by matt_d

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

Real or Slop? – Programming Languages Papers Edition

Mamba-3

EvoX: Letting AI Evolve Its Own Evolution Process

Native DSLs Ops in PyTorch

Flash-KMeans: Fast and Memory-Efficient Exact K-Means

4 5 6 7 8 9 10 11 12 13