Stories by matt_d

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

tcmalloc's Temeraire: A Hugepage-Aware Allocator

Test Results for AMD Zen 5

10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters

Algorithms for Modern Processor Architectures

Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement

Semi-Automated Assembly Verification in Python Using Pypcode Semantics

Dissecting the NVIDIA Blackwell Architecture with Microbenchmarks

Precise Exceptions in Relaxed Architectures

1
2
3
4
5
6
7
8
9
10