Scalable validation of binary lifters. - Sandeep Dasgupta; Sushant Dinesh; Deepan Venkatesh; Vikram S. Adve; Christopher W. Fletcher (PLDI, 2020)