Source: https://www.cs.rice.edu/~angchen/papers/bento-fast2021.pdf