The Compiler Forest

Mihai Budiu, Joel Galenson, Gordon D. Plotkin

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We address the problem of writing compilers targeting complex execution environments, such as computer clusters composed of machines with multi-core CPUs. To that end we introduce partial compilers. These compilers can pass sub-programs to several child (partial) compilers, combining the code generated by their children to generate the final target code. We define a set of high-level polymorphic operations manipulating both compilers and partial compilers as first-class values. These mechanisms provide a software architecture for modular compiler construction. This allows the building of a forest of compilers, providing a structured treatment of multistage compilers.
Original languageEnglish
Title of host publicationProgramming Languages and Systems
Subtitle of host publication22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
PublisherSpringer Berlin Heidelberg
Number of pages20
ISBN (Electronic)978-3-642-37036-6
ISBN (Print)978-3-642-37035-9
Publication statusPublished - 2013

Fingerprint Dive into the research topics of 'The Compiler Forest'. Together they form a unique fingerprint.

Cite this