Yoann Padioleau René Rydhof Hansen Julia L. Lawall Gilles Muller Semantic patches for documenting and automating collateral evolutions in Linux device drivers. 10 2006 conf/asplos/2006plos PLOS http://doi.acm.org/10.1145/1215995.1216005 db/conf/asplos/plos2006.html#PadioleauHLM06