Global Value Numbering Using Random Interpretation
More in that line of research here https://www.microsoft.com/en-us/research/project/random-interpretation-random-testing-abstract-interpretation/publications/
Global Value Numbering Using Random Interpretation
More in that line of research here https://www.microsoft.com/en-us/research/project/random-interpretation-random-testing-abstract-interpretation/publications/