An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver
Published in SRC@SPLASH, 2023
Recommended citation: Ye, H. (2023). An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver. SPLASH Companion’23, 43.
Publications
Scalar Invariant Networks with Zero Bias
Published in NeurReps@NeurIPS, 2023
Recommended citation: Geng, C., Xu, X., Ye, H., & Si, X. (2022). Scalar Invariant Networks with Zero Bias. arXiv preprint arXiv:2211.08486.
Novice Type Error Diagnosis with Natural Language Models
Published in APLAS, 2022
Recommended citation: Geng, C., Ye, H., Li, Y., Han, T., Pientka, B., & Si, X. (2022, November). Novice Type Error Diagnosis with Natural Language Models. In Asian Symposium on Programming Languages and Systems (pp. 196-214). Cham: Springer Nature Switzerland.