The results in the blog post were produced with

make bench

The benchmarks use the tailfin benchmark harness.