Stories by matt_d

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

Clang: -Wexperimental-lifetime-safety: Experimental C++ Lifetime Safety Analysis

Good Fun: Creating a Data-Oriented Parser/AST/Visitor Generator – DConf '24 [video]

Rex: Closing the language-verifier gap with safe and usable kernel extensions

PLDI 2025 coverage released: over 200 talks

Binding Application in Idris

Finding Compiler Bugs: Cross-Language Code Generator and Differential Testing

9
10
11
12
13
14
15
16
17
18