Understanding collateral evolution in Linux device drivers
- 18 April 2006
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (4) , 59-71
- https://doi.org/10.1145/1217935.1217942
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Thorough static analysis of device driversPublished by Association for Computing Machinery (ACM) ,2006
- Improving the reliability of commodity operating systemsACM Transactions on Computer Systems, 2005
- Experience with K42, an open-source, Linux-compatible, scalable operating-system kernelIBM Systems Journal, 2005
- Flow-sensitive type qualifiersPublished by Association for Computing Machinery (ACM) ,2002
- An empirical study of operating systems errorsPublished by Association for Computing Machinery (ACM) ,2001
- Bugs as deviant behaviorPublished by Association for Computing Machinery (ACM) ,2001
- The Flux OSKitPublished by Association for Computing Machinery (ACM) ,1997