CONIX Publication

Strengthening compilers through the automated synthesis of term rewriting systems

Authors: Julie Newcomb, Rastislav Bodik, Andrew Adams, Steven Johnson, Shoaib Kamil


Within a compiler, term rewriting systems can both transform code directly as well as be used as a powerful and performant reasoning engine. We show how such term rewriting systems can be created and enhanced through automated program synthesis. This technique can speed the development of compilers for novel and evolving platforms.

Release Date: 10/12/21
Uploaded File: View