Stories by matt_d

Pragmatics of Formally Verified yet Efficient Static Analysis and Compilers

Notes on Computational Learning Theory

Finding Simple Rewrite Rules for the JIT with Z3

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

15
16
17
18
19
20
21
22
23
24