Stories by matt_d

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

Optimizing Distributed Protocols with Query Rewrites

International Conference on Functional Programming ICFP 2024 Accepted Papers

Falcon: A Scalable Analytical Cache Model

Misconceptions about loops in C

The C Standard Charter

A Case for Parallel-First Languages in a Post-Serial, Accelerated World [video]

Indirector: High-Precision Branch Target Injection Attacks Exploiting the IBP [pdf]

9
10
11
12
13
14
15
16
17
18