Tag
The article explores obscure details about pre-ANSI C (K&R C) including the absence of void, different floating point types, and simplified type specifier rules. It explains how the language's context-sensitive grammar was justified by single-pass compiler constraints.
Claude Fable used the pyptx DSL to write a FlashAttention forward kernel for NVIDIA B200 that achieves near-parity performance with the hand-tuned CUTLASS kernel, demonstrating the potential for AI agents in compiler and DSL design.
An overview of seventy years of parsing theory and its practical implications in computer science.
A free online textbook on compiler construction by Prof. Douglas Thain, enabling readers to build a compiler for a C-like language to X86 or ARM assembly, available for download or purchase.
A paper presenting a typed, algebraic approach to parsing, likely from the University of Cambridge.
CS 6120 is a PhD-level online self-guided course on advanced compilers, covering intermediate representations, data flow, optimizations, and including paper readings and implementation tasks using LLVM and Bril.
A personal opinion piece expressing frustration with compilers, likely discussing their complexity or shortcomings.
A survey of inlining heuristics in method JIT compilers, discussing the challenges of when to inline and the trade-offs involved, with examples from Ruby and Python.
This article discusses the practical challenges of writing portable C code due to reliance on non-standard compiler extensions and glibc's conditional headers, illustrating with examples from building a C compiler.
The article discusses Partial Static Single Information (SSI) form, an extension to SSA in compilers that captures path-dependent type information. It proposes a practical shortcut for implementing Partial SSI during SSA construction in dynamic languages, specifically referencing an implementation in Ruby's ZJIT.