15 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.PL2024
SAT-DIFF: A Tree Diffing Framework Using SAT Solving
Chuqin Geng, Haolin Ye, Yihan Zhang +2
Computing differences between tree-structured data is a critical but challenging problem in software analysis. In this paper, we propose a novel tree diffing approach called SatDif…
cs.CY2023★ 15 cited
Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
Chuqin Geng, Yihan Zhang, Brigitte Pientka +1
The recent introduction of ChatGPT has drawn significant attention from both industry and academia due to its impressive capabilities in solving a diverse range of tasks, including…