Recent Talks:
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code. [ESEC/FSE 2020 Short Presentation].
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code. [ESEC/FSE 2020 Full Presentation].