Solving the TTC 2011 Compiler Optimization Case with GrGen.NET

Sebastian Buchwald
(Karlsruhe Institute of Technology (KIT))
Edgar Jakumeit
(Karlsruhe Institute of Technology (KIT))

The challenge of the Compiler Optimization Case is to perform local optimizations and instruction selection on the graph-based intermediate representation of a compiler. The case is designed to compare participating tools regarding their performance. We tackle this task employing the general purpose graph rewrite system GrGen.NET (

In Pieter Van Gorp, Steffen Mazanek and Louis Rose: Proceedings Fifth Transformation Tool Contest (TTC 2011), Zürich, Switzerland, June 29-30 2011, Electronic Proceedings in Theoretical Computer Science 74, pp. 42–53.
Published: 16th November 2011.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: