The source code of the examples from Vazou–Bakst–Jhala's ICFP'15 paper is now in tests/benchmarks/icfp15.