Programming Language Theory & Compilers Courses and Certifications

Write your own Operating System

Context-Free Grammars - LL(k) Grammars

Translates suitable context-free grammars into deterministic recursive-descent parsers, including a hand-written arithmetic-expression parser.

• YouTube
• 1 hour 6 minutes
• Self-Paced
• Free Video

Java

Below the Fold: Adventures in Constancy

Explores how ConstantDynamic lets javac encode more values as constants, enabling constant folding, enhanced intrinsification, and further JIT optimizations.

• YouTube
• 38 minutes
• Self-Paced
• Free Video

GOTO Conferences

The Perfect Language

Explores why no programming language is perfect by imagining how one might be designed and weighing tradeoffs in modern language ideas.

• YouTube
• 45 minutes
• Self-Paced
• Conference Talk

GOTO Conferences

Racket - A Programming-Language Programming Language

The talk shows how Racket supports building languages, from general-purpose languages to small specialized languages within a program.

• YouTube
• 52 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Incremental, Zero-Config Code Nav Using Stack Graphs

Learn how stack graphs enable fast, incremental, zero-configuration code navigation across large, multi-language codebases.

• YouTube
• 46 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Noether - Symmetry in Programming Language Design

Explores symmetry as a structuring principle for designing secure, robust, and efficient programming languages.

• YouTube
• 44 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Linear Logic Programming

Explore how linear logic treats information as consumable resources, enabling declarative models of state change and resource usage in the Celf programming language.

• YouTube
• 39 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

How to Make Error Handling Less Error-Prone

Explore why conventional error handling fails and how automatic state recovery plus the Ken protocol can preserve consistency across asynchronous and distributed systems.

• YouTube
• 48 minutes
• Self-Paced
• Conference Talk

Write your own Operating System

GNU Bison - LR(1) Compiler Generator

Explore GNU Bison, a powerful LR(1) compiler generator tool, and learn how to leverage it for creating efficient parsers and compilers in operating system development.

• YouTube
• 1 hour 10 minutes
• Self-Paced
• Free Video

Raw Coding

JSON Parser in Functional C# - Expanding the Mind

Build a JSON parser from scratch in C# using a functional programming style.

• YouTube
• 1 hour 13 minutes
• Self-Paced
• Free Video

Raw Coding

Json Parser from Scratch in C# Using TDD

Build a JSON parser from scratch in C#, using test-driven development to guide the implementation.

• YouTube
• 53 minutes
• Self-Paced
• Free Video

NDC Conferences

Much Ado about Nothing - A C# Play in Two Acts - Act 1

A design story traces why nullable reference types were added to C# and the tradeoffs of introducing them into existing code.

• YouTube
• 59 minutes
• Self-Paced
• Conference Talk

ACCU Conference

How to Write a Programming Language

Explore the process of creating a simple programming language interpreter, covering lexing, parsing, and evaluation, using Python to implement a basic language called Cell.

• YouTube
• 1 hour 13 minutes
• Self-Paced
• Conference Talk

CppCon

Generating Parsers in C++ with Maphoon - Part 1 - CppCon 2022

Explore C++ parser generation with Maphoon, covering tokenizing, AST building, and LALR parsing. Learn flexible, efficient techniques for modern C++ parsing and compiler construction.

• YouTube
• 42 minutes
• Self-Paced
• Free Video

cpponsea

Safety in C++: All the Safeties - Lecture

Explore C++ safety concepts, their relation to correctness and security, and learn strategies for writing better code. Gain insights from Sean Parent's expertise in software architecture and development.

• YouTube
• 54 minutes
• Self-Paced
• Free Video