The topic of the day is Documenting and Automating Collateral Evolutions in Linux Device Drivers by Yoann Padioleau, Julia Lawall, René Rydhof Hanseon, and Gilles Muller—this paper describes a particular form of semantic patches which can be applied to Linux device drivers.
You might wish to be aware of two related papers from the same group:
|1:30||Norman Ramsey: Introducing the Common Repository Model|
|2:00||JJ Tan and Xihan Zhang: Merging XML Files|
|2:30||Sophie Panuthos and Brian Sumner: An Analytic Comparison of Merge and Rebase|
|3:30||Max Alexander: Semantic Test Combination for Validation of Merged Functions|
|4:00||Matt Dunlap: Making Automatic Merges Less Dumb|
|4:30||JC Montemayor, Hashem Nasarat, and Matt Russell: Nor—A Lightweight and Functional Version-Control System|