Stories by matt_d

Tracing JITs and coverage-guided fuzzers

Implementing Dependent Types: a minimalistic tutorial

Principles of Programming Languages (POPL) 2021 Videos

Friendship ended with Monads: Testing out Algebraic effects in OCaml

Let's Build a Microprocessor!

Xbyak_aarch64: JIT assembler for AArch64 CPUs in C++

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

49
50
51
52
53
54
55
56
57
58