TODO: merge POPL'24 experiments into main #7
Description
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.
{{ message }}
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.