IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers

Morty: Scaling Concurrency Control with Re-Execution

tcmalloc's Temeraire: A Hugepage-Aware Allocator

Test Results for AMD Zen 5

10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters

Algorithms for Modern Processor Architectures

Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement

Semi-Automated Assembly Verification in Python Using Pypcode Semantics

Dissecting the NVIDIA Blackwell Architecture with Microbenchmarks

Precise Exceptions in Relaxed Architectures

Losing language features: some stories about disjoint unions

BeePL: Correct-by-Compilation Kernel Extensions

Caches and Abstractions

Formal Security & Verification of Cryptographic Protocol Implementations in Rust

Types That Count: Journey across Qualitative and Quantitative Intersection Types

Functional Abstract Interpretation

Clang: -Wexperimental-lifetime-safety: Experimental C++ Lifetime Safety Analysis

Good Fun: Creating a Data-Oriented Parser/AST/Visitor Generator – DConf '24 [video]

Rex: Closing the language-verifier gap with safe and usable kernel extensions

PLDI 2025 coverage released: over 200 talks

Binding Application in Idris

Finding Compiler Bugs: Cross-Language Code Generator and Differential Testing

RVISmith: Fuzzing Compilers for RVV (RISC-V Vector Extension) Intrinsics

Bin2Wrong: Fuzzing Binary Decompilers

Oregon Programming Languages Summer School (OPLSS) 2025: Lectures

A Comprehensive Proposal Overviewing Blocks, Nested Functions, and Lambdas for C

WebAssembly: How Low Can a Bytecode Go?

Koala: A benchmark suite for performance-oriented shell-optimization research

Evaluating the Effectiveness of Memory Safety Sanitizers

Anarchy in the Database: A Survey and Evaluation of DBMS Extensibility [pdf]

2025 AsiaLLVM Developers' Meeting Talks

A mostly allocation-free optional type

On the Feasibility of Deduplicating Compiler Bugs with Bisection

GPEmu: A GPU emulator for rapid, low-cost deep learning prototyping [pdf]

TYPES 2025: The 31st International Conference on Types for Proofs and Programs

Magnetic Tape Storage Technology: usage, history, and future outlook

10 Myths of Scalable Parallel Languages, Part 3: New vs. Extended

Converging AI and HPC: Design and Optimization of a CGRA Architecture [pdf]

Multi-Stage Programming with Splice Variables

Type Theory and Themes in Philosophical Logic – Greg Restall – TYPES 2025

BinDSA: Efficient, Precise Binary-Level Pointer Analysis

Bridging the Gaps Between GNNs and Data-Flow Analysis: The Closer, the Better

AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs

Lifetime Dispersion and Generational GC: An Intellectual Abstract

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine

Telescopes Are Tries: A Dependent Type Shellac on SQLite

Linux x86_64 Assembly Programming Part 5: Macros

CVDP: LLM Benchmark for Verilog RTL Design and Verification

Trip report: June 2025 ISO C++ standards meeting

2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)

Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award)

The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (PEPM 2025) [video]

Compiling LLMs into a MegaKernel: A path to low-latency inference

Usability Barriers for Liquid Types

Exploring the Theory and Practice of Concurrency in the ECS Pattern [pdf]

Elaboration with Error Recovery

Sound Static Data Race Verification for C: Is the Race Lost?

Monads are not like burritos

Inside torch.compile Guards: How They Work, What They Cost, and Ways to Optimize

phkmalloc

Advent of Computing: Episode 159 – The Intel 286: A Legacy Trap

Introduction to Competitive Programming in Haskell

Relational Abstractions Based on Labeled Union-Find

A Guided Tour of Polarity and Focusing

"How slow is the tracing interpreter of PyPy's meta-tracing JIT?"

JIT Code Generation with AsmJit [video]

Type Theory and Themes in Philosophical Logic

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]

Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation

Modern Minimal Perfect Hashing: A Survey

How to Make the Most Out of SIMD on AArch64?

[RFC] MLIR Dialect for WebAssembly

An SMT Formalization of Mixed-Precision Matrix Multiplication

From Boolean logic to bitmath and SIMD: transitive closure of tiny graphs

Autocomp: LLM-Driven Code Optimization for Tensor Accelerators

GPU Memory Consistency: Specs, Testing, and Opportunities for Perf Tooling

Potential and Limitation of High-Frequency Cores and Caches (2024)

GDBMiner: Mining Precise Input Grammars on Almost Any System

Spegion: Implicit and Non-Lexical Regions with Sized Allocations

Linearity and Uniqueness

INTERCAL Rides Again – Restoring a Lost Compiler

Understanding Memory Management, Part 6: Basic Garbage Collection

Uniqueness for Behavioural Types

TPDE: A Fast Adaptable Compiler Back-End Framework

The missing guide to Dataflow Analysis in MLIR

Current Continuation E2: Satnam Singh (Groq) [video]

Games on ARM64: Introduction to FEX EMU, a fast usermode x86-64 emulator [video]

Bidirectional typing with unification for higher-rank polymorphism

DWARF as a Shared Reverse Engineering Format

Finite-Choice Logic Programming (POPL 2025) [video]

Data-Driven Loop Fusion