Scalable validation of binary lifters.

Sandeep Dasgupta Sushant Dinesh Deepan Venkatesh Vikram S. Adve Christopher W. Fletcher

Published in: PLDI (2020)

Keyphrases

case study
highly scalable
neural network
hamming distance
non binary
data sets
genetic algorithm
search engine
gray code