Stories by matt_d

The Simple Essence of Monomorphization (Oopsla 2025) [video]

Abusing x86 instructions to optimize PS3 emulation [RPCS3] [video]

Decompiling the Synergy: Human–LLM Teaming in Reverse Engineering [pdf]

Soteria Rust: the first symbolic execution engine with full Tree Borrows support [video]

Testing and Benchmarking of AI Compilers

Interpreters everywhere! – Lindsey Kuper [video]

The Wild West of post-POSIX IO Interfaces [video]

Using the `vpternlogd` instruction for signed saturated arithmetic

Indexed Reverse Polish Notation, an Alternative to AST

ASM Visualizer: a new assembly visualization tool

Oral History of Jensen Huang – Computer History Museum [video]

The Equational Theories Project: Collaborative Mathematical Research at Scale

The Quest Toward That Perfect Compiler – ACM SPLASH / OOPSLA 2025 Keynote [video]

Learning to love mesh-oriented sharding

Microbenchmarking NVIDIA's Blackwell: An In-Depth Architectural Analysis

tritonBLAS: Triton-based Analytical Approach for GEMM Kernel Parameter Selection

RFC: Forming a Working Group on Formal Specification for LLVM

hls4ml: A Flexible, OSS Platform for ML Acceleration on Reconfigurable Hardware

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers [pdf]

SAT Etudes 2: Toy DPLL

1
2
3
4
5
6
7
8
9
10