AnA: An Attentive Autonomous Driving SystemIn an autonomous driving system (ADS), the perception module is crucial to driving safety and efficiency. Unfortunately, the perception in today's ADS remains oblivious to driving decisions, contrasting to how humans drive. Our idea is to refactor AD... | ASPLOS 2025 V2 | A | 3 | 2025-11-02 16:59:18.626Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:42:51.658Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:42:19.608Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:41:47.278Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:41:15.067Z |
Tela:A Temporal Load-Aware Cloud Virtual Disk Placement SchemeCloud Block Storage (CBS) relies on Cloud Virtual Disks (CVDs) to provide block interfaces to Cloud Virtual Machines. The process of allocating user-subscribed CVDs to physical storage warehouses in cloud data centers, known as CVD placement, ...ACM ... | ASPLOS 2025 | A | 3 | 2025-10-24 22:40:43.057Z |
Target-Aware Implementation of Real ExpressionsNew low-precision accelerators, vector instruction sets, and library functions make maximizing accuracy and performance of numerical code increasingly challenging. Two lines of work---traditional compilers and numerical compilers---attack this proble... | ASPLOS 2025 | A | 3 | 2025-10-24 22:40:11.021Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:39:38.706Z |
SuperNoVA: Algorithm-Hardware Co-Design for Resource-Aware SLAMSimultaneous Localization and Mapping (SLAM) plays a crucial role in robotics, autonomous systems, and augmented and virtual reality (AR/VR) applications by enabling devices to understand and map unknown environments. However, deploying SLAM in AR/VR... | ASPLOS 2025 | A | 3 | 2025-10-24 22:39:06.396Z |
SmoothE: Differentiable E-Graph ExtractionE- graphs have gained increasing popularity in compiler optimization, program synthesis, and theorem proving tasks. They enable compact representation of many equivalent expressions and facilitate transformations via rewrite rules without phase order... | ASPLOS 2025 | A | 3 | 2025-10-24 22:38:34.148Z |
| Explain icons... |
Selectively Uniform Concurrency TestingBuggy behaviors in concurrent programs are notoriously elusive, as they may manifest only in few of exponentially many possible thread interleavings. Randomized concurrency testing techniques probabilistically sample from (instead of enumerating) the... | ASPLOS 2025 | A | 3 | 2025-10-24 22:38:01.796Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:37:29.732Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:36:57.349Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:36:25.023Z |
Rethinking Java Performance AnalysisRepresentative workloads and principled methodologies are the foundation of performance analysis, which in turn provides the empirical grounding for much of the innovation in systems research. However, benchmarks are hard to maintain, methodologies a... | ASPLOS 2025 | A | 3 | 2025-10-24 22:35:52.962Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:35:20.360Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:34:48.028Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:34:15.453Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:33:43.327Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:33:10.887Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:32:38.363Z |
PCcheck: Persistent Concurrent Checkpointing for MLTraining large-scale machine learning (ML) models is expensive and time-intensive, consuming many hardware accelerators for days or weeks. As the scale of hardware deployments and training time continue to grow, the probability of failures also ...AC... | ASPLOS 2025 | A | 3 | 2025-10-24 22:32:06.088Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:31:34.004Z |
Optimizing Quantum Circuits, Fast and SlowOptimizing quantum circuits is critical: the number of quantum operations needs to be minimized for a successful evaluation of a circuit on a quantum processor. In this paper we unify two disparate ideas for optimizing quantum circuits,rewrite rules,... | ASPLOS 2025 | A | 3 | 2025-10-24 22:31:01.745Z |
Optimizing Datalog for the GPUModern Datalog engines (e.g., LogicBlox, Soufflé, ddlog) enable their users to write declarative queries which compute recursive deductions over extensional facts, leaving high-performance operationalization (query planning, semi-naïve evaluation, an... | ASPLOS 2025 | A | 3 | 2025-10-24 22:30:29.584Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:29:57.374Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:29:25.136Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:28:53.030Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:28:20.796Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:27:48.322Z |
Marionette: A RowHammer Attack via Row CouplingA body of recent work has revealed that two different rows in a DRAM bank, from the perspective of a processor-memory interface, are connected to the same wordline but two separate row buffers (bitline sense amplifiers) in certain DRAM chips. Such a ... | ASPLOS 2025 | A | 3 | 2025-10-24 22:27:16.151Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:26:44.152Z |
H-Houdini: Scalable Invariant LearningFormal verification is a critical task in hardware design today. Yet, while there has been significant progress in improving technique automation and efficiency, scaling to large hardware designs remains a significant challenge.We address this challe... | ASPLOS 2025 | A | 3 | 2025-10-24 22:26:11.879Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:25:39.447Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:25:07.166Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:24:34.651Z |
Fusion: An Analytics Object Store Optimized for Query PushdownThe prevalence of disaggregated storage in public clouds has led to increased latency in modern OLAP cloud databases, particularly when handling ad-hoc and highly-selective queries on large objects. To address this, cloud databases have adopted ...AC... | ASPLOS 2025 | A | 3 | 2025-10-24 22:24:02.632Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:23:30.601Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:22:57.735Z |
| ASPLOS 2025 | A | 3 | 2025-10-24 22:22:25.288Z |