SPeCK: a kernel for scalable predictability. - Qi Wang; Yuxin Ren 001; Matt Scaperoth; Gabriel Parmer (RTAS, 2015)