Stories by matt_d

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

Losing language features: some stories about disjoint unions

BeePL: Correct-by-Compilation Kernel Extensions

Caches and Abstractions

Formal Security & Verification of Cryptographic Protocol Implementations in Rust

Types That Count: Journey across Qualitative and Quantitative Intersection Types

Functional Abstract Interpretation

1
2
3
4
5
6
7
8
9
10