A Survey on Code Equivalence: The State-of-the-Art and Open Questions.

Anna-Lena Horlemann, Abhinaba Mazumder, Michael Schaller, Violetta Weger

Browse the full WAIFI paper archive.