Scrub: online troubleshooting for large mission-critical applications. - Arjun Satish; Thomas Shiou; Chuck Zhang; Khaled Elmeleegy; Willy Zwaenepoel (EuroSys, 2018)