Darcs
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:00 | Break |
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 |
5:00 | Workshop ends |