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].
  • Copyright © All rights reserved | This template is made with by Colorlib