Scala 2016
Sun 30 - Mon 31 October 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Sun 30 Oct 2016 13:30 - 13:55 at Matterhorn 2 - Embedding

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.

Sun 30 Oct

13:30 - 15:10: Scala - Embedding at Matterhorn 2
scala-201613:30 - 13:55
Georg OfenbeckETH Zurich, Switzerland, Tiark RompfPurdue University, USA, Markus PüschelETH Zurich
DOI File Attached
scala-201613:55 - 14:20
Tiark RompfPurdue University, USA
scala-201614:20 - 14:45
Markus Hauckcodecentric AG, Savvas SavvidesPurdue University, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt, Germany
DOI Pre-print Media Attached
scala-201614:45 - 15:10
Zeljko Bajic, Milan JovicDepartment of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad