Virtual CPU validation. - Nadav Amit; Dan Tsafrir; Assaf Schuster; Ahmad Ayoub; Eran Shlomo (SOSP, 2015)