1. Tolerating hardware device failures in software;Asim,2009
2. Automated resource release in device drivers;Bai,2015
3. Mining and checking paired functions in device drivers using characteristic fault injection;Bai;Inf. Software Technol.,2016
4. Concurrent parallel garbage collection in linear time;Brandt,2014
5. Detecting deadlock, double-Free and other abuses in a million lines of Linux kernel source;Breuer,2006