Fri 9 Nov 2018 13:52 - 14:15 at Studio 2 - Safe Merging Chair(s): David Pearce

Resolving conflicts is the main challenge for software merging. The existing merge tools usually rely on the developer to manually resolve conflicts. This is of course inefficient. We propose an interactive approach for resolving merge conflicts. To the best of our knowledge, this is the first attempt for conflict resolution of structured merge. To represent the possibly very large set of candidate programs, we propose an expressive and efficient representation by version space algebra. We also design a simple mechanism for ranking resolutions in the program space. The top-ranked resolution is very likely to meet the developer’s expectation. We prototype our approach as a merge tool AutoMerge, and evaluate it on 248 real-world conflicts arising from 10 open-source projects. Results show great practicality of our approach.

Fri 9 Nov

13:30 - 14:15: OOPSLA - Safe Merging at Studio 2
Chair(s): David PearceVictoria University of Wellington
splash-2018-OOPSLA13:30 - 13:52
Marcelo SousaUniversity of Oxford, Isil DilligUT Austin, Shuvendu K. LahiriMicrosoft Research
splash-2018-OOPSLA13:52 - 14:15
Fengmin Zhu, Fei HeTsinghua University