2 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
A Flow Extension to Coroutine Types for Deadlock Detection in Go
Qiqi Jason Gu, Lixue Liu, Wei Ke
Coroutines, as an abstract programming construct, are a generalization of functions that can suspend execution part- way for later resumption. Coroutine Types are behavioral types…
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…
Typing Composable Coroutines
Qiqi Gu, Wei Ke
Coroutine, as a powerful programming construct, is widely used in asynchronous applications to replace thread-based programming or the callback hell. Using coroutines makes code mo…