How to Optimize SQL Queries? A Comparison [pdf]

Which Programming Language Should I Teach First: the least productive question

10 Myths of Scalable Parallel Languages Part 5: Productivity and Magic Compilers

Simplifying&Isolating Failure-Inducing Input: A Retrospective on Delta Debugging

A Clash Course in Solving Sudoku (Functional Pearl) [pdf]

Inter-APU Communication on AMD MI300A Systems via Infinity Fabric: A Deep Dive

"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video]

"When is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video]

Cycle-Accurate 8088 Emulation [video]

UNIX: A History and a Memoir by Brian Kernighan [video]

Specification and Formal Verification of Hardware–Software Contracts

Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs

How to Think About GPUs

Basic dependency injection with objects in OCaml

Invertible Syntax Without the Tuples (Functional Pearl)

A Python CLI for Verifying Assembly

ARMing GPUs: On the Memory Subsystem of Grace Hopper GH200 [video]

Numerical Considerations in Weighted Model Counting

State of torch.compile for training (August 2025)

Silent Data Corruption by 10x Test Escapes Threatens Reliable Computing

OCaml Blockly

Binary Search–Think Positive

Flow Sensitivity Without CFG: An Efficient Andersen-Style Pointer Analysis

Vector Types and Debug Performance

C++ Exceptions Are Code Compression – Khalil Estell – ACCU 2025 [video]

Fast and Efficient Emulation of Matrix Multiplication Using INT8 Matrix Engines

Analyzing Control Flow More Like a Human [video]

libsemigroups: C++ library for semigroups and monoids

Type Universes as Kripke Worlds

Analysing Snapshot Isolation

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1

Revisiting Clause Vivification [pdf]

40th Anniversary International Obfuscated C Code Contest IOCCC28 Winning Entries

Paralegal: Practical Static Analysis for Privacy Bugs

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?