SEED: Scalable, efficient enforcement of dependences | IEEE Conference Publication | IEEE Xplore