Semantic program alignment for equivalence checking

著者: Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken - ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019 被引用: 92

We introduce a robust semantics-driven technique for program equivalence checking. Given two functions we find a trace alignment over a set of concrete executions of both programs and construct a product program particularly amenable to checking equivalence.