Understanding registration-based abstractions: A quantitative user study | IEEE Conference Publication | IEEE Xplore