You're exactly right:

https://theory.stanford.edu/~aiken/publications/papers/asplo...