Compiler links

By Wolfgang Keller
Originally published 2021-04-24
Last modified 2025-03-01

General compiler ressources

The Compiler Writer Resource Page
- The Compiler Writer Resource Page [visited 2021-04-24T16:54:38Z]
- Hacker News discussion [visited 2021-04-24T16:58:33Z]
21 compilers and 3 orders of magnitude in 60 minutes [visited 2021-04-24T17:55:50Z] (local copy).
Some papers and other references mentioned there:
- Slide 19: Thomas J. Watson IBM Research Center. Research Division, F. E. Allen, and J. Cocke. A catalogue of optimizing transformations. 1971. [visited 2023-10-30T21:48:26Z]
- Slide 23: nanopass framework
  - Main - Nanopass Framework [visited 2023-11-02T12:09:40Z]
  - Sarkar, Dipanwita, Waddell, Oscar, and Dybvig, Kent R. A Nanopass framework for compiler education
    - paywalled: Sarkar, Dipanwita, Oscar Waddell, and R. Kent Dybvig. "A nanopass infrastructure for compiler education." ACM SIGPLAN Notices 39.9 (2004): 201-212. [visited 2023-10-30T21:40:28Z]
    - Sarkar, Dipanwita, Oscar Waddell, and R. Kent Dybvig. "EDUCATIONAL PEARL: A Nanopass framework for compiler education." Journal of Functional Programming 15.5 (2005): 653-667.
      - article [visited 2023-10-30T21:29:53Z]
      - preprint [visited 2023-11-02T12:20:44Z]. From Documentation - Nanopass Framework [visited 2023-11-02T12:13:19Z].
  - A Nanopass Framework For Commercial Compiler Development, PhD Thesis for Andy Keep. [visited 2023-11-02T12:11:36Z]. From Documentation - Nanopass Framework [visited 2023-11-02T12:13:19Z].
- Slides 44-45: Futumura projections
  - Futamura, Yoshihiko. "Partial evaluation of computation process--an approach to a compiler-compiler." Higher-Order and Symbolic Computation 12 (1999): 381-391.
    - paywalled: Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler | SpringerLink [visited 2023-10-30T21:54:41Z]
    - CiteSeerX [visited 2023-10-31T00:02:04Z]
    - PDF [visited 2023-10-31T00:18:45Z] (from Professor Yoshihiko Futamura [visited 2023-10-31T00:17:18Z])
  - See also: Futamura, Y. Partial Evaluation of Computation Process, Revisited. Higher-Order and Symbolic Computation 12, 377–380 (1999).
    - Partial Evaluation of Computation Process, Revisited | SpringerLink [visited 2023-10-31T00:16:06Z]
    - PDF [visited 2023-10-31T00:18:22Z] (from Professor Yoshihiko Futamura [visited 2023-10-31T00:17:18Z])
CS 6120: Advanced Compilers: The Self-Guided Online Course
- Article: CS 6120: The Self-Guided Course [visited 2024-03-24T01:02:23Z]
- Hacker News discussion: CS 6120: Advanced Compilers: The Self-Guided Online Course | Hacker News [visited 2024-03-24T01:02:36Z]
GitHub - aalhour/awesome-compilers: :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes [visited 2025-03-01T20:48:24Z].
From GitHub - facundoolano/software-papers: 📚 A curated list of papers for Software Engineers [visited 2025-03-01T20:50:18Z]

Parsing and structured editors

Laurence Tratt
- Laurence Tratt: Parsing: The Solved Problem That Isn't [published 2011-03-15T08:00; visited 2023-02-23T11:10:20Z]
- SDE (Syntax Directed Editing) as a potential alternative to parsing: Laurence Tratt: An Editor for Composed Programs [published 2014-08-20T08:00; visited 2023-02-23T11:12:07Z]:
  - Structure editor - Wikipedia [published 2023-01-30T06:15; visited 2023-02-23T11:24:28Z]
  - Somewhat related:
    - Syntax-directed translation - Wikipedia [published 2019-09-24T14:10; visited 2023-02-23T11:26:54Z]
    - Source Code in Database - Wikipedia [published 2021-08-23; visited 2023-02-23T12:57:59Z]
  - JetBrains MPS (Meta Programming System)
    - Wikipedia [en]: JetBrains MPS - Wikipedia [published 2023-02-09T13:59; visited 2023-02-23T23:11:29Z]
    - MPS: The Domain-Specific Language Creator by JetBrains [visited 2023-02-23T11:16:50Z]
    - The MPS Blog : Language workbench to create Domain-Specific Languages | The JetBrains Blog [visited 2023-02-23T13:01:37Z]
    - Learning ressources:
      - Learn MPS - MPS by JetBrains [visited 2023-04-01T21:57:35Z]
      - Fast Track to MPS - Ten steps to mastery | MPS [visited 2023-04-01T21:59:02Z]
      - Cogniterra
        
        Beginner
        
        free: JetBrains MPS for the impatient — Cogniterra [visited 2023-10-30T02:01:14Z]
        
        $99: JetBrains MPS Introductory Online Course — Cogniterra [visited 2023-10-30T02:01:32Z]
        
        Intermediate
        
        free: JetBrains MPS Elementary Course — Cogniterra [visited 2023-10-30T02:01:43Z]
        
        $149: JetBrains MPS Advanced Online Course — Cogniterra [visited 2023-10-30T02:02:00Z]
        
        Advanced
        
        free: JetBrains MPS coderules — Cogniterra [visited 2023-10-30T02:02:12Z]
      - Tutorials | MPS Documentation [visited 2023-10-30T01:53:22Z]
      - MPS User's Guide | MPS Documentation [visited 2024-03-24T00:50:43Z]
      - Textbook: Domain-Specific Languages in Practice: With JetBrains MPS. Deutschland, Springer International Publishing, 2021. Domain-Specific Languages in Practice: with JetBrains MPS | SpringerLink [visited 2023-02-23T12:53:42Z]
      - Ressource collection: MPS Rocks [visited 2023-11-16T03:07:08Z]
- Laurence Tratt: Why We Need to Know LR and Recursive Descent Parsing Techniques [published 2023-01-17T08:00; visited 2023-02-23T11:12:23Z]
- Incremental Parsing
  - Structured Editing and Incremental Parsing
    - Laurence Tratt: Structured Editing and Incremental Parsing [published 2024-11-27T12:25; visited 2024-11-28T01:08:36Z]
    - Hacker News discussion: Structured Editing and Incremental Parsing | Hacker News [published 2024-11-27; visited 2024-11-28T01:07:41Z]
  - Links concerning Incremental Parsing of the article of the previous bullet point:
    - Tim A. Wagner's thesis: Tim A. Wagner; Practical Algorithms for Incremental Software Development Environments [published 1998-03-10; archived 2015-09-20; visited 2024-12-03T21:27:25Z] (local copy)
    - Lukas Diekmann's thesis (extensions and fixes for Tim A. Wagner's algorithms): Lukas Diekmann; Editing composed languages [published 2019-06; visited 2024-12-03T21:30:19Z] (local copy)
    - Extension of this work: Lukas Diekmann and Laurence Tratt; Default Disambiguation for Online Parsers
      - HTML version [published 2019-10; visited 2024-12-03T21:47:43Z]
      - PDF version [published 2019-10; visited 2024-12-03T21:49:12Z] (local copy)
Whatever [visited 2025-03-01T20:46:56Z] (blog of Jeff Smits; various blog articles about parsing topics)

Structured editors

Code representations

Projectional Editing

Article by Martin Fowler: Projectional Editing [published 2008-01-14; visited 2025-02-09T21:32:55Z]. This article distinguishes the following representations of the system:

editable representation: what you edit in order to change the system.
storage representation: the persistent record of the system definition.
executable representation: what is executed to make the system run - the executable.
abstract representation: used to manipulate and reason about system definition.
visualization representation: a non-editable view of the system definition.

See also Martin Fowler's older article Language Workbenches: The Killer-App for Domain Specific Languages? [published 2005-06-12; visited 2025-02-09T21:36:06Z].

Source Code In Database (SCID)

Source Code in Database - Wikipedia [published 2024-11-17T09:32; visited 2025-02-09T21:24:59Z]
https://www.mindprod.com/project/scid.html [visited 2025-02-09T21:28:03Z]
http://wiki.c2.com/?SourceCodeInDatabase [visited 2025-02-09T21:30:59Z]

Type systems

Liquid Types

A Gentle Introduction to Liquid Types [published 2015-09-19; visited 2025-02-09T21:06:07Z]
Liquid Types [published 2008; visited 2025-02-09T21:07:31Z]

Pattern Matching

Compiling Pattern Matching
- Article: Compiling Pattern Matching [visited 2024-03-24T01:00:59Z]
- Hacker News discussion: Compiling Pattern Matching | Hacker News [visited 2024-03-24T01:01:10Z]

Code Generation

Synthesizing optimal 8051 code
- Synthesizing optimal 8051 code — whitequark's lab notebook [published 2020-04-06; visited 2023-02-23T11:02:35Z]
- Hacker News discussion [visited 2023-02-23T11:03:48Z]