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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 14:15
Safe MergingOOPSLA at Studio 2
Chair(s): David J. Pearce Victoria University of Wellington
13:30
22m
Talk
Verified Three-Way Program Merge
OOPSLA
Marcelo Sousa University of Oxford, Işıl Dillig UT Austin, Shuvendu Lahiri Microsoft Research
13:52
22m
Talk
Conflict Resolution for Structured Merge via Version Space Algebra
OOPSLA
Fengmin Zhu , Fei He Tsinghua University