Stories by matt_d

The Iowa Type Theory Commute (Podcast)

Chain loading, not preloading: the dynamic linker as a virtualization vector

The visitor pattern is essentially the same thing as Church encoding

It's easy as 1,2,3 – arithmetic expressions and programming language semantics

A Minimalistic Verified Bootstrapped Compiler (Proof Pearl)

From microops to abstract resources: constructing simpler CPU performance models

Toward a Synthetic Benchmark to Assess VM Startup, Warmup, Cold-Code Performance

Expressiveness Benchmark: implementing tabular data analytics tasks

Scaling Exact Inference for Discrete Probabilistic Programs

PaSh: Light-Touch Data-Parallel Shell Processing

Type Theory Forall: Bringing Programming Languages Research Outside Academia

Interactive C++ for Data Science

Sound C Code Decompilation for a Subset of x86-64 Binaries [pdf]

jitboy: A Game Boy emulator with dynamic recompilation (JIT) for x86-64

Statistical Approaches for Performance Analysis

Unwinding a Bug – How C++ Exceptions Work

Automated discovery of machine learning optimizations

Advanced Compilers: Self-Guided Online Course

LLVM-DIVA – Debug Information Visual Analyzer

An Answer to the Bose-Nelson Sorting Problem for 11 and 12 Channels

68 69 70 71 72 73 74 75 76 77