Everything about Compiler-compiler

🧭 Start here: a 6-step reading path

1. Read the overview: Compiler-compilerA 5-minute orientation
2. Skim a recent paper: The software design of Gridap: A Finite Element package based on the Julia JIT compilerInfluential work since 2022
3. Pick up a classic book: Compilers, principles, techniques, and toolsThe most-reprinted book on the subject
4. Read the landmark paper: Formal verification of a realistic compilerCited 1,045 times
5. Go sideways: META IIA closely related topic
6. Go sideways: History of compiler constructionA closely related topic

🏆 Landmark papers (most cited)

• Formal verification of a realistic compiler

  Xavier Leroy · 2009 · Communications of the ACM · 1,045 citations

• Compiler transformations for high-performance computing

  David F. Bacon, Susan L. Graham, Oliver J. Sharp · 1994 · ACM Computing Surveys · 559 citations

• Advanced compiler optimizations for supercomputers

  David A. Padua, Michael J. Wolfe · 1986 · Communications of the ACM · 498 citations

• t|ket⟩: a retargetable compiler for NISQ devices

  Seyon Sivarajah, Silas Dilkes, Alexander Cowtan · 2020 · Quantum Science and Technology · 449 citations

• A Formally Verified Compiler Back-end

  Xavier Leroy · 2009 · Journal of Automated Reasoning · 432 citations

• Testing Programs with the Aid of a Compiler

  R.G. Hamlet · 1977 · IEEE Transactions on Software Engineering · 415 citations

• Maximizing multiprocessor performance with the SUIF compiler

  M.W. Hall, J.M. Anderson, S.P. Amarasinghe · 1996 · Computer · 366 citations

• PipeRench: a reconfigurable architecture and compiler

  S.C. Goldstein, H. Schmit, M. Budiu · 2000 · Computer · 336 citations

🆕 Influential since 2022

• The software design of Gridap: A Finite Element package based on the Julia JIT compiler

  Francesc Verdugo, Santiago Badia · 2022 · Computer Physics Communications · 116 citations

• WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models

  Chenyuan Yang, Yinlin Deng, Runyu Lu · 2024 · Proceedings of the ACM on Programming Languages · 87 citations

• Optimized Compiler for Distributed Quantum Computing

  Daniele Cuomo, Marcello Caleffi, Kevin Krsulich · 2023 · ACM Transactions on Quantum Computing · 62 citations

• NxTF: An API and Compiler for Deep Spiking Neural Networks on Intel Loihi

  Bodo Rueckauer, Connor Bybee, Ralf Goettsche · 2022 · ACM Journal on Emerging Technologies in Computing Systems · 58 citations

• Compiler Support for Sparse Tensor Computations in MLIR

  Aart Bik, Penporn Koanantakool, Tatiana Shpeisman · 2022 · ACM Transactions on Architecture and Code Optimization · 54 citations

📚 Books worth reading

• Compilers, principles, techniques, and toolsAlfred V. Aho, Monica S. Lam · 1986
• Compiler DesignReinhard Wilhelm · 2010
• The compiler design handbookY. N. Srikant, P. Shankar · 2002
• Modern Compiler DesignDick Grune · 2001
• The anatomy of a compilerJohn A. N. Lee · 1967
• Compiler construction using Java, JavaCC, and YaccAnthony J. Dos Reis · 2011
• Principles of compiler designAlfred V. Aho, Jeffrey D. Ullman · 1977
• Compiler design in CAllen I. Holub · 1990

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• META II META II is a domain-specific programming language for writing compilers. It was created in 1963–1964 by Dewey Val Schorre at University of California,…
• History of compiler construction In computing, a compiler is a computer program that transforms source code written in a programming language or computer language (the source language)…
• OMeta OMeta is a specialized object-oriented programming language for pattern matching, developed by Alessandro Warth and Ian Piumarta in 2007 at the Viewpoints…
• Syntax-directed translation Syntax-directed translation refers to a method of compiler implementation where the source language translation is completely driven by the parser. A common…
• Scannerless parsing In computer science, scannerless parsing (also called lexerless parsing) performs tokenization (breaking a stream of characters into words) and parsing…
• Extensible programming In computer science, extensible programming is a style of computer programming that focuses on mechanisms to extend the programming language, compiler…
• Backus–Naur form In computer science, Backus–Naur form or Pāṇini–Backus Form (BNF or PBF, pronounced /ˌbækəs ˈnaʊər/), also known as Backus normal form, is a notation system…
• TREE-META The TREE-META (or Tree Meta, TREEMETA) Translator Writing System is a compiler-compiler system for context-free languages originally developed in the 1960s…