Publications (78)
Automatic Detection and Resolution of Software Merge Conflicts: Are We There Yet?
Bowen Shen, Cihan Xiao, Na Meng +1
Developers create software branches for tentative feature addition and bug fixing, and periodically merge branches to release software with new features or repairing patches. When…
Combining Example-Based and Rule-Based Program Transformations to Resolve Build Conflicts
Sheikh Shadab Towqir, Fei He, Todd Mytkowicz +1
Merge conflicts often arise when developers integrate changes from different software branches. The conflicts can result from overlapping edits in programs (i.e., textual conflicts…
Regularity estimates for the gradient flow of a spinorial energy functional
Fei He, Changliang Wang
In this note, we establish certain regularity estimates for the spinor flow introduced and initially studied in \cite{AWW2016}. Consequently, we obtain that the norm of the second…
Structural Abstraction and Refinement for Probabilistic Programs
Guanyan Li, Juanen Li, Zhilei Han +3
In this paper, we present structural abstraction refinement, a novel framework for verifying the threshold problem of probabilistic programs. Our approach represents the structure…
Retrieving Filter Spectra in CNN for Explainable Sleep Stage Classification
Stephan Goerttler, Yucheng Wang, Fei He +1
Despite significant advances in deep learning-based sleep stage classification, the clinical adoption of automatic classification models remains slow. One key challenge is the lack…
Dimension estimate and existence of holomorphic sections with polynomial growth on gradient Kähler Ricci shrinkers
Fei He, Jianyu Ou
We prove an upper bound for the dimension of the linear space of holomorphic functions with polynomial growth on gradient Kähler Ricci shrinkers with bounded curvature. The upper…