International audienceIn 2001, Chou et al. published a study of faults found by applying a static analyzer to Linux versions 1.0 through 2.4.1. A major result of their work was that the drivers directory contained up to 7 times more of certain kinds of faults than other directories. This result inspired a number of development and research efforts on improving the reliability of driver code. Today, however, Linux is used in a much wider range of environments, provides a much wider range of services, and has adopted a new development and release model. What has been the impact of these changes on code quality? Are drivers still a major problem? To answer these questions, we have attempted to transport, based on the information provided, the ...
Device drivers are an Achilles ’ heel of modern commod-ity operating systems, accounting for far too...
Software systems running continuously for a long time tend to show degrading performance and an incr...
Modern operating systems (OSs) consist of numerous interacting components, many of which are develop...
International audienceIn 2001, Chou et al. published a study of faults found by applying a static an...
In August 2011, Linux entered its third decade. Ten years before, Chou et al. published a study of f...
International audienceIn August 2011, Linux entered its third decade. Ten years before, Chou et al. ...
We present a study of operating system errors found by automatic, static, compiler analysis applied ...
We conduct a comprehensive study of file-system code evolution. By analyzing eight years of Linux fi...
This dissertation is dedicated to the problem of device driver reliability. Software defects in devi...
International audienceTools have been designed to detect for faults in the Linux Kernel, such as Coc...
Despite decades of research in extensible operating system technology, extensions such as device dri...
Despite the existence of an overwhelming amount of research on the quality of system software, Opera...
The authors have examined 365 versions of Linux. For every version, they counted the number of insta...
<p>Device drivers are Operating Systems (OS) extensions that enable the use of I/O devices in comput...
Device drivers are the single largest contributor to operating-system kernel code with over 5 millio...
Device drivers are an Achilles ’ heel of modern commod-ity operating systems, accounting for far too...
Software systems running continuously for a long time tend to show degrading performance and an incr...
Modern operating systems (OSs) consist of numerous interacting components, many of which are develop...
International audienceIn 2001, Chou et al. published a study of faults found by applying a static an...
In August 2011, Linux entered its third decade. Ten years before, Chou et al. published a study of f...
International audienceIn August 2011, Linux entered its third decade. Ten years before, Chou et al. ...
We present a study of operating system errors found by automatic, static, compiler analysis applied ...
We conduct a comprehensive study of file-system code evolution. By analyzing eight years of Linux fi...
This dissertation is dedicated to the problem of device driver reliability. Software defects in devi...
International audienceTools have been designed to detect for faults in the Linux Kernel, such as Coc...
Despite decades of research in extensible operating system technology, extensions such as device dri...
Despite the existence of an overwhelming amount of research on the quality of system software, Opera...
The authors have examined 365 versions of Linux. For every version, they counted the number of insta...
<p>Device drivers are Operating Systems (OS) extensions that enable the use of I/O devices in comput...
Device drivers are the single largest contributor to operating-system kernel code with over 5 millio...
Device drivers are an Achilles ’ heel of modern commod-ity operating systems, accounting for far too...
Software systems running continuously for a long time tend to show degrading performance and an incr...
Modern operating systems (OSs) consist of numerous interacting components, many of which are develop...