Stories by matt_d

ARMing GPUs: On the Memory Subsystem of Grace Hopper GH200 [video]

Numerical Considerations in Weighted Model Counting

State of torch.compile for training (August 2025)

Silent Data Corruption by 10x Test Escapes Threatens Reliable Computing

OCaml Blockly

Binary Search–Think Positive

Flow Sensitivity Without CFG: An Efficient Andersen-Style Pointer Analysis

Vector Types and Debug Performance

C++ Exceptions Are Code Compression – Khalil Estell – ACCU 2025 [video]

Fast and Efficient Emulation of Matrix Multiplication Using INT8 Matrix Engines

Analyzing Control Flow More Like a Human [video]

libsemigroups: C++ library for semigroups and monoids

Type Universes as Kripke Worlds

Analysing Snapshot Isolation

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1

Revisiting Clause Vivification [pdf]

40th Anniversary International Obfuscated C Code Contest IOCCC28 Winning Entries

Paralegal: Practical Static Analysis for Privacy Bugs

IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers

Morty: Scaling Concurrency Control with Re-Execution

8
9
10
11
12
13
14
15
16
17