Artifact for "Scalable Validation of Binary Lifters"
Snapshot of peer-evaluated artifact corresponding to the published conference paper [1].
[1] Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, and
Christopher W. Fletcher 2020. Scalable Validation of Binary Lifters. In
Proceedings of the 2020 ACM SIGPLAN Conference on Programming Language Design
and Implementation. ACM. https://doi.org/10.1145/3385412.3385964