RandIR: Differential Testing for Embedded Compilers
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 embedded compilers for multi-stage programming, which is our main use case. The ideas underlying our work, however, are more generally applicable.
RandIR is able to automatically simplify failing instances of a test, a technique commonly referred to as shrinking. This enables testing with large random IR samples, thus increasing the odds of detecting a buggy behavior, while still being able to simplify failing instances to human-readable code.
Conference DaySun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:10
|RandIR: Differential Testing for Embedded Compilers|
ScalaDOI File Attached
|Reflections on LMS: Exploring Front-End Alternatives|
Tiark RompfPurdue University, USADOI
|SecureScala: Scala Embedding of Secure Computations|
Markus Hauckcodecentric AG, Savvas SavvidesPurdue University, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt, GermanyDOI Pre-print Media Attached
|Towards a Scala embedded information system description DSL|