10 citations · 20 across the 7 of their papers we have counts for
1 paper · 1 filter
Amit Kachroo, Like Hui, Haitao Mao +2
Determining whether two programs are functionally equivalent is central to code modernization, patch validation, refactoring, and code-generation evaluation. Yet the usual signals…