Stories by matt_d

Relational Abstractions Based on Labeled Union-Find

A Guided Tour of Polarity and Focusing

"How slow is the tracing interpreter of PyPy's meta-tracing JIT?"

JIT Code Generation with AsmJit [video]

Type Theory and Themes in Philosophical Logic

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]

Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation

Modern Minimal Perfect Hashing: A Survey

How to Make the Most Out of SIMD on AArch64?

[RFC] MLIR Dialect for WebAssembly

An SMT Formalization of Mixed-Precision Matrix Multiplication

From Boolean logic to bitmath and SIMD: transitive closure of tiny graphs

Autocomp: LLM-Driven Code Optimization for Tensor Accelerators

GPU Memory Consistency: Specs, Testing, and Opportunities for Perf Tooling

Potential and Limitation of High-Frequency Cores and Caches (2024)

GDBMiner: Mining Precise Input Grammars on Almost Any System

Spegion: Implicit and Non-Lexical Regions with Sized Allocations

Linearity and Uniqueness

INTERCAL Rides Again – Restoring a Lost Compiler

Understanding Memory Management, Part 6: Basic Garbage Collection

12
13
14
15
16
17
18
19
20
21