Anantaraman, Rotenberg, 2006. Non-uniform program analysis & repeatable execution constraints.. https://doi.org/10.1145/1279711.1279716