Haolin Ye: An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver. SPLASH Companion 2023: 43-45