Semantic Program Alignment for Equivalence Checking

[xwangsd]

http://theory.stanford.edu/~aiken/publications/papers/pldi19.pdf

[xwangsd]

I think this paper is quite good.

Just reading the abstract, to me, it targets a special form of relational verification problems which is equivalence checking. It shows a technique that can solve a large class of such problems, far beyond problem instances that can be solved using prior techniques. I am very curious to learn how this works.

I will be out of town for weeks of 4/29 and 5/6. So I hope we can read this paper after that.