🐾 CGPA › Compilers & Interpreters [ Search this forum ]
📌 RULES: Keep discussion formally rigorous where possible. Pen-and-paper proofs welcome. No hand-waving about "obviously correct" optimizations unless you can cite a paper, nya~
👁 12 users browsing this forum — λ-nyan, polytypic_purrfection, zipper_witch, ⭐ KernelKitten (mod), affine_tabby, bytecode_belle, compcert_cat, ssa_senpai, mewmory_model + 3 guests_
⚙ Compilers & Interpreters
Discussion of all things compiler-related: frontend parsing, IR design, optimization passes, code generation, JIT compilation, verified compilers, interpreter implementation, and more. Topics span classical dragon-book material all the way to cutting-edge verified compiler research (CompCert, CakeML, etc.) and modern infrastructure (LLVM, MLIR, GHC, Cranelift...).
Moderators: KernelKitten, compcert_cat  |  Topics: 847  |  Posts: 14,203  |  Subforum of: CGPA Main Board
📁 Subforums
🌸 Frontends & Parsers Topics: 142  |  Posts: 2,341 ✨ Optimization & Passes Topics: 98  |  Posts: 1,876 🔧 Backends & Codegen Topics: 113  |  Posts: 2,054 ⚡ JIT & Runtime Topics: 77  |  Posts: 1,209 ✅ Verified Compilers Topics: 54  |  Posts: 892 🐾 Interpreters & VMs Topics: 88  |  Posts: 1,443
Threads: 847 Posts: 14,203 Last post: 2h ago by ssa_senpai Active this week: 247
[ + Post New Thread ]   [ ★ Subscribe ]
[ 🔍 Search Forum ]
Sort by: Last Post ▾ | Creation Date | Replies | Views | A–Z    Filter: All | Pinned | Hot | Unsolved | Solved
Topic Replies Views Last Post
📢 ANNOUNCE [MEGATHREAD] Essential Compiler Literature — Papers & Textbooks Reading List
by KernelKitten — Apr 3, 2023
204
replies		 18,440 Today, 09:14 by polytypic_purrfection »
📌 STICKY Newcomers' Guide: Where to start with compiler construction (resources, tutorials, toolchains)
by compcert_cat — Jan 12, 2022
89
replies		 11,270 Mar 24, 2025 by bytecode_belle »
📌 STICKY SOLVED SSA Form Primer — Cat-Edition with worked examples (phi nodes, dominance frontiers, mem2reg)
by ssa_senpai — Jun 7, 2022
156
replies		 9,814 Mar 26, 2025 by affine_tabby »
🔥 HOT NEW MLIR dialects vs monolithic LLVM IR — when does the multi-level approach actually pay off?
by tensor_tabby — Mar 25, 2025  |  Pages: 1 2 3
67
replies		 3,201 Re: MLIR dialects vs mono... Today, 11:32 by ssa_senpai »
⚙ NEW Walking through CompCert's correctness proof — what does "semantic preservation" actually mean?
by compcert_cat — Mar 26, 2025
34
replies		 1,422 Re: CompCert correctness... Today, 10:07 by mewmory_model »
⚙ Earley vs. GLR parsing — performance trade-offs for ambiguous grammars in production compilers
by parse_princess — Mar 22, 2025
28
replies		 987 Re: Earley vs. GLR pars... Mar 26, 2025 by parse_princess »
🔥 HOT GHC Internals Deep Dive: The Spineless Tagless G-machine, thunk sharing, and lazy evaluation implementation
by lazy_lynx — Mar 18, 2025  |  Pages: 1 2
52
replies		 2,614 Re: GHC Internals Deep D... Mar 26, 2025 by polytypic_purrfection »
✅ SOLVED CPS vs SSA — are they really equivalent? A constructive proof walkthrough [with Coq code]
by continuation_catgirl — Mar 15, 2025
41
replies		 2,089 Re: CPS vs SSA — are they... Mar 25, 2025 by zipper_witch »
⚙ LLVM IR's poison values and undef — the undefined behaviour rabbit hole, and what it means for optimizations
by undef_nyaa — Mar 14, 2025
39
replies		 1,754 Re: LLVM IR's poison val... Mar 25, 2025 by mewmory_model »
⚙ Tracing JIT vs Method JIT — architectural comparison, hot path detection, deoptimization strategies
by jit_jitterbug — Mar 13, 2025
25
replies		 1,103 Re: Tracing JIT vs Meth... Mar 24, 2025 by bytecode_belle »
✅ SOLVED Register allocation via graph coloring — Chaitin vs. PBQP vs. greedy allocators in practice
by regalloc_rex — Mar 10, 2025
33
replies		 1,492 Re: Register allocation... Mar 23, 2025 by affine_tabby »
⚙ Cranelift as an alternative backend to LLVM — compile-time wins vs. peak performance trade-offs
by wasm_whiskers — Mar 9, 2025
22
replies		 964 Re: Cranelift as an alt... Mar 22, 2025 by jit_jitterbug »
⚙ The polyhedral model for loop optimization — affine schedules, dependence polyhedra, and isl in practice
by polytypic_purrfection — Mar 7, 2025
19
replies		 834 Re: The polyhedral mode... Mar 21, 2025 by tensor_tabby »
🔒 LOCKED [LOCKED] GCC vs Clang — which is better? (Locked: 12 pages of unproductive flame, archived for history)
by old_greycat — Nov 3, 2023
311
replies		 22,041 Nov 19, 2023 by KernelKitten [mod]
⚙ CakeML — a verified ML implementation in HOL4, and lessons for building trustworthy language stacks
by compcert_cat — Mar 5, 2025
18
replies		 712 Re: CakeML — a verified... Mar 20, 2025 by lazy_lynx »
⚙ Tree-sitter and incremental parsing — how error recovery works, and using it for IDE tooling
by parse_princess — Mar 3, 2025
15
replies		 641 Re: Tree-sitter and inc... Mar 19, 2025 by zipper_witch »
⚙ Alias analysis and points-to analysis — Andersen vs Steensgaard, context-sensitivity, and practical limits
by undef_nyaa — Feb 27, 2025
21
replies		 879 Re: Alias analysis and... Mar 17, 2025 by mewmory_model »
⚙ WebAssembly as a universal compilation target — WASM semantics, reference types, and the GC proposal
by wasm_whiskers — Feb 24, 2025
29
replies		 1,233 Re: WebAssembly as a un... Mar 15, 2025 by bytecode_belle »
⚙ Supercompilation and deforestation — positive information propagation and fold/unfold transformations in GHC
by lazy_lynx — Feb 20, 2025
16
replies		 701 Re: Supercompilation and... Mar 10, 2025 by polytypic_purrfection »
⚙ Abstract Interpretation vs. Dataflow Analysis — lattice theory, widening operators, and fixpoint computation
by abstract_abyssinian — Feb 15, 2025
24
replies		 1,055 Re: Abstract Interpretati... Mar 8, 2025 by ssa_senpai »
⚙ Peephole optimization patterns — algebraic simplifications, strength reduction, and writing custom LLVM passes
by undef_nyaa — Feb 11, 2025
13
replies		 589 Re: Peephole optimizati... Mar 2, 2025 by regalloc_rex »
⚙ The Nanopass Framework — decomposing compiler passes into tiny single-purpose transformations
by continuation_catgirl — Feb 6, 2025
11
replies		 502 Re: The Nanopass Framew... Feb 28, 2025 by affine_tabby »
Showing threads 1–19 of 847  |  50/page
[ + Post New Thread ]
Jump to:
🐾 Related Subforums & Categories
λ PL Theory τ Type Systems ∀ Formal Methods ⟲ Concurrency ✅ Verified Compilers ⚡ JIT & Runtime 🌸 Frontends ✨ Optimization