European Lisp Symposium 2025: Talks

AutoOverlap: Enabling Fine-Grained Overlap of Computation and Communication

Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers

35th ACM SIGPLAN International Conference on Compiler Construction (CC 2026)

VFlatten: Selective Value-Object Flattening Using Hybrid Static&Dynamic Analysis [pdf]

Agentic Proof-Oriented Programming

MLIR-Tutor: Exercises for Learning MLIR (Originally Written for PPoPP 2026)

Fast Autoscheduling for Sparse ML Frameworks

Replicate Forwards, Partial Backwards

Frontier-CS 1.0 Release

uops-again.info: corner-case behaviours of port assignment on Intel processors

When magic meets multicore: OCaml and its elegant era of parallelism [video]

FlashAttention-T: Towards Tensorized Attention

Scaling GPU-to-CPU Migration for Efficient Distributed Execution on CPU Clusters

MetaAttention: A Unified&Performant Attention Framework across Hardware Backends

ga68, the GNU Algol 68 Compiler – FOSDEM 2026 [video]

LLMs versus the Halting Problem: Revisiting Program Termination Prediction

DTensor Erasure

Let the Barbarians In: How AI Can Accelerate Systems Performance Research

Triton Bespoke Layouts

AMD64 Bit Matrix Multiply and Bit Reversal Instructions

Demystifying ARM SME to Optimize General Matrix Multiplications

Evolving the OCaml programming language – CSE Bytes: K C Sivaramakrishnan [video]

Magellan: Autonomous Discovery of Compiler Optimization Heuristics w/AlphaEvolve

Automatic Data Enumeration for Fast Collections

An MLIR Lowering Pipeline for Stencils at Wafer-Scale

The JAX sharding type system

AutoSP: Unlocking Long-Context LLM Training via Compiler-Based SP (ICLR 2026)

Disentangling unification and implicit coercion (subtyping interaction problem)

Global vs. Local SPMD

ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2026 talks

Long branches in compilers, assemblers, and linkers

Megatron via shard_map

Cloud-Hardware Co-Design for Memory Bandwidth-Bound HPC Workloads: Azure HBv5

CuTile on Blackwell: NVIDIA's Compiler Moat Is Already Built

Compiling Classical Sequent Calculus to Stock Hardware: Duality of Compilation [video]

Computing Sharding with Einsum

What Is Control Flow Analysis for Lambda Calculus? [audio]

Introduction to Coinduction in Agda Part 1: Coinductive Programming

Terminal-Bench: Benchmarking Agents on Hard, Realistic Tasks in CLIs

Multi-Modal Program Verification in Velvet

Python, Is It Being Killed by Incremental Improvements?

Terabyte-Scale Analytics in the Blink of an Eye

What Is Control Flow Analysis for Lambda Calculus? – Iowa Type Theory Commute

Benchmarking a Baseline Fully-in-Place Functional Language Compiler [pdf]

Trends in Functional Programming (TFP) 2026

Categorical Foundations for CuTe Layouts

StackWarp: Exploiting Stack Layout Vulnerabilities in Modern Processors

Cloud RAM

Triton Linear Layout: Examples

When XLA Isn't Enough: From Pallas to VLIW with Splash Attention on TPU

Warp Specialization in Triton: Design and Roadmap

Challenges and Research Directions for Large Language Model Inference Hardware

Library Liberation-Competitive Performance Through Compiler-Composed Nanokernels

Non-Traditional Profiling: "you can just put whatever you want in a jitdump"

Triton Extensions: a framework for developing and building compiler extensions

FlashInfer-Bench: Building the Virtuous Cycle for AI-Driven LLM Systems

High-Performance DBMSs with io_uring: When and How to use it

Are DBMS Researchers Making Correct Assumptions about Transaction Workloads?

vLLM: An Efficient Inference Engine for Large Language Models

Microarchitecture: What Happens Beneath – Matt Godbolt [video]

SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style

Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs

Oral History of Jeffrey Ullman [video]

CPU Autoscaling with a Kernel of Truth

ACM Transactions on Programming Languages & Systems: New Year, New Paper Tracks

An Empirical Study of Bugs in the rustc Compiler (OOPSLA 2025) [video]

A "Ready-to-Use" Template for LLVM Out-of-Tree Passes

Mini-SGLang: Efficient Inference Engine in a Nutshell

FrontierCS: Evolving Challenges for Evolving Intelligence

svc-hook: hooking system calls on ARM64 by binary rewriting

The Simple Essence of Monomorphization (Oopsla 2025) [video]

Abusing x86 instructions to optimize PS3 emulation [RPCS3] [video]

Decompiling the Synergy: Human–LLM Teaming in Reverse Engineering [pdf]

Soteria Rust: the first symbolic execution engine with full Tree Borrows support [video]

Testing and Benchmarking of AI Compilers

Interpreters everywhere! – Lindsey Kuper [video]

The Wild West of post-POSIX IO Interfaces [video]

Using the `vpternlogd` instruction for signed saturated arithmetic

Indexed Reverse Polish Notation, an Alternative to AST

ASM Visualizer: a new assembly visualization tool

Oral History of Jensen Huang – Computer History Museum [video]

The Equational Theories Project: Collaborative Mathematical Research at Scale

The Quest Toward That Perfect Compiler – ACM SPLASH / OOPSLA 2025 Keynote [video]

Learning to love mesh-oriented sharding

Microbenchmarking NVIDIA's Blackwell: An In-Depth Architectural Analysis

tritonBLAS: Triton-based Analytical Approach for GEMM Kernel Parameter Selection

RFC: Forming a Working Group on Formal Specification for LLVM

hls4ml: A Flexible, OSS Platform for ML Acceleration on Reconfigurable Hardware

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers [pdf]

SAT Etudes 2: Toy DPLL

The Hitchhiker's Guide to Coherent Fabrics: 5 Programming Rules

Optimizing libdwarf .eh_frame enumeration

GSoC 2025: ClangIR Upstreaming