Fisch, et al.. IRON. ACM Press, 2017, doi:10.1145/3133956.3134106.