Yazan The Compiler Guy Blog

Write

Implementing C# consteval compile time evaluation — A Deep Dive into Roslyn's Compiler Pipeline

Apr 16, 202626 min read

Inside Clang C++ Compile Time Evaluators : AST Evaluator & Bytecode Interpreter

Feb 16, 202622 min read

LLVM-Clang Static Analyzers And SMT Solvers

Introduction Static analyzers generally speaking are abstract interpreters that analyze and emit diagnostics of program P, meaning that they analyze a program using abstract values rather than dynamic

May 22, 202621 min read

The Chords The Colors The Registers The SSA Optimality

Jan 26, 202626 min read

SSA to Stack: Retargeting LLVM to Stack Machines—A Deep Dive Through the WebAssembly Backend

Dec 13, 202528 min read

WideLips: A Multi GB/S LISP Parser And Parsing Framework

Introduction Parsers have been around since the dawn of computing. If you've worked with compiler frontends or semi-structured data processors like JSON or XML, you’ve likely implemented or maintained one. Traditional parsers scan text character-by-c...

Nov 20, 202511 min read

Dante: A Case Study in Compiler-Assisted Verification Using Model Checking

Introduction If you're a developer today, chances are you've experienced the “magic” of LLMs in your workflow, whether you realize it or not. That auto-completion in your JetBrains IDE, Visual Studio, or Cursor? There's cases where an LLM working beh...

Jun 8, 20258 min read

Command Palette

Latest articles