This commit corresponds to the PLDI 24 artifact

and uses the dependencies listed in the Dockerfile.