Stories by matt_d

Data Race Freedom à la Mode [pdf]

Modern CPUs Assign Registers to Speed Up Your Code - Matt Godbolt [video]

Hello SME! Generating Fast Matrix Multiplication Kernels Using the SME

RISC-V Vector Extension overview

Hitchhiker's Guide to Programming and Optimizing CXL-Based Heterogeneous Systems

ACM ByteCast Episode 57: Xavier Leroy

PyTorch 2 Faster ML Dynamic Python Bytecode Transformation and Graph Compilation [video]

Safe and efficient C++ interoperability via non-escapable types and lifetimes

MLIR Project Charter and Restructuring Survey

Big Specification: Specification, Proof, and Testing at Scale 2024

Automated reasoning often makes systems more efficient and easier to maintain

Function Effect Analysis – Clang 20.0.0

A Dogged Pursuit for Satisfaction–Ryan Williams (MIT CSAIL) [video]

Static Basic Block Versioning

[RFC] MLIR Project Charter and Restructuring

Scalable self-improvement for compiler optimization

Revisiting Reliability in Large-Scale Machine Learning Research Clusters

Scheduling Languages: A Past, Present, and Future Taxonomy

Sorting for Rendering

Refinement Type Refutations

17
18
19
20
21
22
23
24
25
26