Stories by matt_d

Calculating Compilers Effectively [pdf]

Boosting Compiler Testing by Injecting Real-World Code

Arm Scalable Matrix Extension (SME) Introduction: Part 2

Towards Unified Analysis of GPU Consistency [pdf]

Whispering Pixels: Exploiting Uninitialized Register Accesses in Modern GPUs

Twenty Five Years of Warehouse-Scale Computing

ISLAB: Immutable Memory Management Metadata for Commodity OS Kernels [pdf]

Verifying Peephole Rewriting in SSA Compiler IRs

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior

STRIDE: Simple Type Recognition In Decompiled Executables

Mind the Gap: Data Movement&Operational Intensity Bounds for Tensor Algorithms [pdf]

Understanding GPU Memory Corruption at Extreme Scale: The Summit Case Study

Trip report: Summer ISO C++ standards meeting (St Louis, MO, USA)

X Window System at 40

Realizing the AMD Exascale Heterogeneous Processor Vision – ISCA 2024

SQLite: How it works, by Richard Hipp [video]

Making self-adjusting data structures concurrent - Google TechTalk - V. Aksenov

FTTN: Feature-Targeted Testing for Numerical Properties of Matrix Accelerators

A proof of proof by infinite descent

A survey of general-purpose polyhedral compilers

34 35 36 37 38 39 40 41 42 43