Our experiments from POPL'24 (paper: https://www.cs.cmu.edu/~swestric/24/popl24-par-manage.pdf) are in the `hb` branch, and should be merged into `main`.
Our experiments from POPL'24 (paper: https://www.cs.cmu.edu/~swestric/24/popl24-par-manage.pdf) are in the
hbbranch, and should be merged intomain.