9 search results - page 1 / 2 » Understanding collateral evolution in Linux device drivers |
EUROSYS
2006
ACM
13 years 10 months ago
2006
ACM
EUROSYS
2008
ACM
14 years 1 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...
ASPLOS
2006
ACM
13 years 10 months ago
2006
ACM
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
13 years 8 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...
ASPLOS
2012
ACM
12 years 14 days 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...