Rendezvous Hashing Explained (2020)

Replacing SGX with GitHub Actions: Or how to turn GitHub Actions into a trusted computing oracle

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths

An Interview With Julio Barba

A visual introduction to big O notation

The Multimedia Renaissance

Regular Expression Matching Can Be Simple And Fast (2007)

On Benchmarking MiniZinc and the LinkedIn Queens Problem

Discrete optimization for on-call scheduling (2021)

Accidentally writing a fast SAT solver