Imagining a Next-generation Superoptimizer

Evolving the OCaml Programming Language

Compilers @ Nvidia: Challenges, Innovations, and the Impact of AI

eld — Embedded Linker. Why another linker?

Inductor-TV: Formal Methods for Pytorch Compiler

Experiences in Engineering The Eclipse Compiler for Java

Combining Static Analysis and Speculations in JIT Compilers

Enhanced Debuggability Support in LLVM-based AOCC Compiler for Fortran

A Formal Verification Approach to Safeguard Controller Variables from SEU

Enhance LLVM Loop Vectorization Using Polly

Open-source Compiler for Vendor-specific RISC-V Extensions

Meerkat: A Framework for Dynamic Graph Algorithms on GPUs

Compiling Distributed Consistency: Orthogonally Replicated Data Types

Customizing Link Using Plugins

GSOHC: Global Synchronization Optimization in Heterogeneous Computing

What does an IR for JS Static Analysis Look Like?

Context-Sensitive Interprocedural Dominance for SSA

Declarative IR Specification in Pliron

VASCO for Bidirectional Analysis

PyDRA — Pythonic DSL for RAN

Optimized GHASH Intrinsic for OpenJDK on PowerPC

2025 Website Archive