Semantic Patches - Documenting and Automating Collateral Evolutions in Linux Device Drivers (ols07-padioleau).pdf 144 KB