RandIR: differential testing for embedded compilers
SCALA@SPLASH, pp. 21-30, 2016.
This paper describes RandIR, a tool for differential testing of compilers using random instances of a given intermediate representation (IR). RandIR assumes no fixed target language but instead supports extensible IR-definitions through an internal IR-independent representation of operations. This makes it particularly well suited to test...More
PPT (Upload PPT)