Fri 9 Nov 2018 13:52 - 14:15 at Studio 2 - Safe Merging Chair(s): David J. 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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 14:15: Safe MergingOOPSLA at Studio 2
Chair(s): David J. PearceVictoria University of Wellington
13:30 - 13:52
Verified Three-Way Program Merge
Marcelo SousaUniversity of Oxford, Isil DilligUT Austin, Shuvendu K. LahiriMicrosoft Research
13:52 - 14:15
Conflict Resolution for Structured Merge via Version Space Algebra
Fengmin Zhu, Fei HeTsinghua University