Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
A Universal Textual Merge Strategy Based on Tokens for Version Control Systems
Qiqi Jason Gu, Mikoláš Janota
Merging is a core operation in version control systems such as Git, but traditional line-based algorithms often yield spurious conflicts, particularly in the presence of refactorin…
cs.SE2024
Typing Requirement Model as Coroutines
Qiqi Gu, Wei Ke
Model-Driven Engineering (MDE) is a technique that aims to boost productivity in software development and ensure the safety of critical systems. Central to MDE is the refinement of…