Stories by matt_d

mold: A Modern Linker

Finding Bugs in C and C++ Compilers using YARPGen

New Directions in Cloud Programming

Binary Recompilation via Dynamic Analysis and the Protection of Control and Data

POPL 2021 Papers: Proceedings of the ACM on Programming Languages

Building Faster AMD64 Memset Routines

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

61
62
63
64
65
66
67
68
69
70