Our benchmarks from PLDI'23 (paper: https://www.cs.cmu.edu/~swestric/23/epfpe.pdf) are in the `em` branch, and should be merged into the `main` branch.