ASPLOS, explained

Five years of the ACM conference on Architectural Support for Programming Languages and Operating Systems — 765 papers from 2022 to 2026, sorted by year and by topic, each one rewritten as a page you can actually read.

How to use this site

  1. 1. Find a paper. Use search, or start from a topic or a year.
  2. 2. Read the explainer. Each explainer walks the same six steps: the problem, what people did before, why that was not enough, the paper's idea, why the idea works, and what the measurements showed.
  3. 3. Mark up the page. Every page takes pen, highlighter and sticky notes, and your marks are saved.

Written in plain English, on purpose. Research papers compress; these pages unpack. Technical terms are still used — and defined the first time they appear.

751 of 765 papers have an explainer so far — they carry an explainer ready badge, and search can filter to just those. Every other paper still shows its authors' abstract and links to the full text.

By year

Grouped by conference edition. Since 2023 ASPLOS reviews in several rounds a year, so one edition spans several proceedings volumes — they are merged here.

By topic

Counts include papers whose main topic is this one, plus papers that touch it as a second subject — a processing-in-memory design for language models sits on both shelves.

Machine Learning Systems

212

Training and serving neural networks: schedulers, parallelism strategies, LLM inference, ML frameworks and compilers.

Graph Processing & Analytics

26

Irregular, pointer-chasing workloads: graph analytics and mining engines, traversal frameworks, and graph neural networks.

Accelerators & Hardware Design

118

Domain-specific hardware: NPUs, systolic arrays, FPGAs, ASICs, and the compilers and interfaces that drive them.

GPUs & Parallel Hardware

80

GPU architecture, kernels, and runtimes: warp scheduling, occupancy, CUDA, and multi-GPU systems.

Memory Systems & Caches

118

The memory hierarchy: caches, coherence, prefetching, DRAM, virtual memory, TLBs, and CXL-attached memory.

Processing-in-Memory & Emerging Tech

24

Computing where the data lives, and beyond-CMOS substrates: PIM, ReRAM crossbars, photonics, analog and DNA storage.

Storage & File Systems

64

Durable data: SSDs and flash translation layers, file systems, key-value stores, and persistent memory.

Operating Systems & Virtualization

170

Kernels and the machines they pretend to be: syscalls, schedulers, containers, hypervisors, and unikernels.

Compilers & Programming Languages

162

From source to machine: IRs and code generation, JITs, DSLs, type systems, and program synthesis.

Concurrency & Parallel Programming

43

Getting many threads to agree: synchronization, lock-free structures, memory models, and race detection.

Security, Privacy & Trusted Execution

153

Defending the stack: side channels, speculative execution attacks, enclaves, memory safety, and encrypted computation.

Datacenter, Cloud & Networking

163

Warehouse-scale systems: serverless, microservices, RPC and RDMA, cluster scheduling, and resource management.

Quantum Computing

51

Quantum architecture and toolchains: qubit mapping, error correction, pulse control, and quantum compilers.

Energy, Power & Sustainability

37

The cost of computing in watts and carbon: power management, thermal limits, and embodied emissions.

Reliability, Testing & Verification

80

Making systems trustworthy: formal verification, fuzzing, bug finding, fault tolerance, and debugging tools.

Mobile, Edge & Embedded

111

Computing at the edge: smartphones, AR/VR, IoT and batteryless devices, robotics and autonomous vehicles.

Most cited of the five years

A reasonable place to start if you do not have a paper in mind. Citation counts come from OpenAlex and favour older papers, which have had longer to be cited.

Where the data comes from

Titles, authors and page numbers come from DBLP; abstracts, citation counts and open-access links from OpenAlex. Topics are assigned by a keyword classifier in this repository, not by ASPLOS — so treat them as a helpful filing system rather than an official one. Every paper page links to the publisher's version of record.