Sciweavers

4 search results - page 1 / 1
» Semantic patches for documenting and automating collateral e...
Sort
View
65
Voted
ASPLOS
2006
ACM
15 years 4 months ago
Semantic patches for documenting and automating collateral evolutions in Linux device drivers
Yoann Padioleau, René Rydhof Hansen, Julia ...
EUROSYS
2008
ACM
15 years 7 months ago
Documenting and automating collateral evolutions in linux device drivers
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...
Yoann Padioleau, Julia L. Lawall, René Rydh...
APLAS
2007
ACM
15 years 2 months ago
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
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...
Neil D. Jones, René Rydhof Hansen
KBSE
2008
IEEE
15 years 4 months ago
Generic Patch Inference
—A key issue in maintaining Linux device drivers is the need to update drivers in response to evolutions in Linux internal libraries. Currently, there is little tool support for ...
Jesper Andersen, Julia L. Lawall