SOL-ExecBench: Speed-of-Light Benchmarking for Real-World GPU Kernels

Tony Hoare and His Imprint on Computer Science

The End of Dijkstra's Algorithm? Breaking the Sorting Barrier for Shortest Paths [video]

AlgoVeri: An Aligned Benchmark for Verified Code Gen. On Classical Algorithms

Specy: Learning Specifications for Distributed Systems from Event Traces [pdf]

Generalized Dot-Product Attention: Tackling Real-World Challenges in GPU Kernels

M^2RNN: Non-Linear RNNs with Matrix-Valued States for Scalable Language Modeling

Tools of the Trade: C2C Activation Offloading on Grace Blackwell

EsoLang-Bench: Evaluating Genuine Reasoning in LLMs via Esoteric Languages

Speed-Of-Light ExecBench: A benchmark of real-world DL kernel problems

Equality Saturation and Symbolic Regression

NCCL EP: Towards a Unified Expert Parallel Communication API for NCCL

Vectorization of Verilog Designs and its Effects on Verification and Synthesis

LATTE ’26: Workshop on Languages, Tools, and Techniques for Accelerator Design

Read Less, Steer More

The Data Structures of Roads

Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory

Real or Slop? – Programming Languages Papers Edition

Mamba-3

EvoX: Letting AI Evolve Its Own Evolution Process

Native DSLs Ops in PyTorch

Flash-KMeans: Fast and Memory-Efficient Exact K-Means

Gluon: Explicit Performance

Block Number Formats are (Still!) Direction Preservers

cuTile Rust: a safe, tile-based kernel programming DSL for Rust

KernelBlaster: A framework for in context learning for code optimization

Demystifying and Improving Lazy Promotion in Cache Eviction [pdf]

Journeying through Optimization with Heuristics [video]

To Sparsify or to Quantize: A Hardware Architecture View

Efficient sparse computations using linear algebra aware compilers (2025)

A Field Guide to Reward Hacking in AI Kernel Generation

AI and the Mixed-Consistency Future

FIDES: End-to-end Compartments for Mixed-language Systems [pdf]

Practical Type Inference: High‑Throughput Recovery of Real‑World Types

Idempotent Slices with Applications to Code-Size Reduction

Designing AI Chip Hardware and Software

Refinement Modeling and Verification of RISC-V Assembly Using Knuckledragger

Breaking Control Flow Integrity by Abusing Modern C++ (Coroutines) – BH USA 2025 [video]

Programming the Loop

Scalable Training of Mixture-of-Experts Models with Megatron Core

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks

Formalizing Data Structures and Algorithms with Agents

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

Advent of Computing: Dan Temkin – Forty-Four Esolangs

Checking Write Bandwidth on GPUs

Challenges in Decompilation and Reverse Engineering of CUDA-Based Kernels [pdf]

Block Number Formats Are Direction Preservers

Cutie Fly: CuTe Layout Representation and Algebra, CuTeDSL, FlyDSL

Converting Binary Floating-Point Numbers to Shortest Decimal Strings

Controlling Floating-Point Determinism in NVIDIA CCCL

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using LLMs

Custom Data Structures in E-Graphs

Formal Verification in the Age of AI

CuTe Layout Representation and Algebra

Bespoke OLAP: Synthesizing Workload-Specific One-Size-Fits-One Database Engines

SkyDiscover: A Flexible Framework for AI-Driven Sci. and Algorithmic Discovery

Silent Backwards Compatibility Breaking Changes in PyTorch

Building an Open-Source Verilog Simulator with AI: 580K Lines in 43 Days

AgentCgroup: Understanding and Controlling OS Resources of AI Agents

Equality Saturation for Circuit Synthesis and Verification

An Introduction to Folios

Perplexity Cannot Always Tell Right from Wrong

Ganak: The Making of a Versatile, High Performance Model Counter

TorchLean: Formalizing Neural Networks in Lean

Fast Autoscheduling for Sparse ML Frameworks

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)

A Reinforcement Learning Environment for Automatic Code Optimization in MLIR

Metamorphic Testing for Infrastructure-as-Code Engines [pdf]

K-Search: LLM Kernel Generation via Co-Evolving Intrinsic World Model

Midtraining Bridges Pretraining and Posttraining Distributions

Testing "Raw" GPU Cache Latency

Hexagon-MLIR: An AI Compilation Stack for Qualcomm's NPUs

Analyzing Latency Hiding and Parallelism in an MLIR-Based AI Kernel Compiler

Argus: Automated Discovery of Test Oracles for DBMSs Using LLMs

A Decade of Docker Containers

In Pursuit of High-Fidelity GPU Kernel Benchmarking

From ASPLOS to Orbit: Unikernels Twelve Years Later

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean

CSLib: The Lean Computer Science Library

Heliostat: Harnessing Ray Tracing Accelerators for Page Table Walks – ISCA 2025 [video]

LDOS: Toward a Learning-Directed Operating System

GenAI for Systems: Recurring Challenges&Design Principles from SW to Silicon

Precise exceptions in relaxed architectures [video]

BitFields API: Type-Safe Bit Packing for Lock-Free Data Structures

ThunderKittens 2.0: Even Faster Kernels for Your GPUs

Proof Assistants in the Age of AI

Open Source Software Projects Are Brands

Evaluating the Hardest CS Problems in the Age of LLMs

SE Radio 708: Jens Gustedt on C in 2026

Spaghetti Bench: Evaluating AI Agents on Concurrency Bug Fixes

Computer Science as Infrastructure: The Spine of the Lean CSLib

Problems with a weak tryLock operation in C and C++ standards

Two mechanisms for dynamic type checks

Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean

Oral History of Michael J. Flynn [video]

Productively Programming Accelerated Computing Systems – Rohan Yadav (Stanford) [video]