kSTEP: Characterization and Controlled Testing of Linux CPU Scheduler Bugs

Tingjia Cao, Shawn Zhong, and Caeden Whitaker, University of Wisconsin-Madison; Ke Han, Purdue University; Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau, University of Wisconsin–Madison