Everything about Compiler

🧭 Start here: a 6-step reading path

1. Read the overview: 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: Interpreter (computing)A 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

• Interpreter (computing) In computing, an interpreter is software that executes source code without first compiling it to machine code. An interpreted runtime environment differs…
• 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)…
• Programming language design and implementation Programming languages are typically created by designing a form of representation of a computer program, and writing an implementation for the developed…
• Intermediate representation An intermediate representation (IR) is the data structure or code used internally by a compiler or virtual machine to represent source code. An IR is designed…
• Bytecode Bytecode (also called portable code or p-code) is an instruction set designed for efficient execution by a software interpreter. Unlike human-readable…
• High-level programming language A high-level programming language is a programming language with strong abstraction from the details of the computer. In contrast to low-level programming…
• High-level language computer architecture A high-level language computer architecture (HLLCA) is a computer architecture designed to be targeted by a specific high-level programming language (HLL)…
• Compiler-compiler In computer science, a compiler-compiler or compiler generator is a programming tool that creates a parser, interpreter, or compiler from some form of…