search

utopia-group / Reading-Group

0 stars 0 forks source link

Semantic Program Alignment for Equivalence Checking #15

Open xwangsd opened 5 years ago

xwangsd commented 5 years ago

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

xwangsd commented 5 years ago

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.