9 search results - page 1 / 2 » Understanding collateral evolution in Linux device drivers |
95
Voted
EUROSYS
2006
ACM
15 years 7 months ago
2006
ACM
98
Voted
EUROSYS
2008
ACM
15 years 10 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
86
Voted
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
145
Voted
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
15 years 5 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
118
Voted
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...