Kaituo Li, Pallavi Joshi, Aarti Gupta, Malay K. Ganai: ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs. SoCC 2014: 25:1-25:13