Semantic patches for documenting and automating collateral evolutions in Linux device drivers.

Yoann Padioleau, Ren Rydhof Hansen, Julia L. Lawall, Gilles Muller

Browse the full ASPLOS paper archive.