#compiler-design

It Does Not Do What You Do Not Write: Notes on Flux

This article assumes a working knowledge of systems programming — entry points, symbol tables, linkers, and disassembly. If those terms…

Designing an Incremental Compiler for Ballerina: A 2020 Design Document

The original 2020 internal design document, unedited

What You Need to Know About Compiler Design in 2026

Introduction: How Code Becomes a Real Program

How I Built a Live Compiler Design Visualizer

Have you ever looked at a block of code and wondered what actually happens when you run it?

Building a programming language live: it’s time for the parser

Ever wondered how a parser works? Good news: in this session, we’ll cover exactly that, and build our own expression parser live.

When One Tree Isn’t Enough: Understanding Ambiguity in Parsing

In the world of computer science, we like things to be predictable. We want 2 + 2 to always equal 4, and we want our code to do exactly…

Breeze: A Compilers-and-Interpreters Rabbit Hole

** The views and opinions expressed here are my own and do not reflect the views of my employer **

Resolution Methods for Ambiguous Parse Trees in Compiler Design

Introduction

Let’s add a conditional expression to Go language

🔗 This post is a translation of my own original article from Habr

The current title is 101 characters, one over the limit. I'll shorten it by removing "Implementing":

"Technical deep-dive into building a bilingual compiler with ownership semantics, lambda closures, and type inference in C."

How I Built a Simple Compiler in Go (Lexer, Parser, Evaluator Explained)

This weekend, I completed anvil- a simple compiler. My main goal was to understand the basics of compiler design, and as usual keep…

I Didn’t Know Compiler Design — So I Built One Anyway

Hello friends, I hope you are doing well. My name is Nitesh and I am just tachy — I like to build things. Currently, I am building a…

Building Fermat: A Journey from Scratch to JIT Compiler (Part 2)

A deep dive into the Lexical Analyzer, the first critical component of a programming language compiler ( Github …

Instrument Your MLIR Code with the Arey Dialect

Debugging MLIR code can be tricky. The Arey dialect helps you instrument your IR with simple operations like printing values or checking…

Predecessor and Dominator Phis

Here, I discuss several styles of phi nodes and my way to create SSA from an AST.

Structures in LLVM and How to Emit a Structure Using MLIR

Emitting OpenMP Code from OMP Dialect and Lowering to LLVM IR

Introduction

Understanding MLIR Rewrite Patterns

MLIR (Multi-Level Intermediate Representation) is a flexible compiler framework that allows us to define and transform operations through…

A Primer on MLIR’s Symbol Table

One key feature in MLIR is the symbol table, which enables efficient management of named operations like functions, variables, and…

Understanding MLIR Passes Through a Simple Dialect Transformation

In this blog, we’ll walk through the process of creating a custom dialect in MLIR, lowering its operations to another dialect (in this…

Converting Arith Dialect to LLVM Dialect in MLIR

MLIR (Multi-Level Intermediate Representation) provides a flexible and extensible compiler framework. In this blog, we will explore how to…