Making SharedPlans more concise and easier to reason about | IEEE Conference Publication | IEEE Xplore