SiliFuzz: Fuzzing CPUs by proxy. - Kostya Serebryany; Maxim Lifantsev; Konstantin Shtoyk; Doug Kwan; Peter Hochschild (CoRR, 2021)