Understanding Registration-Based Abstractions: A Quantitative User Study. | AMiner