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-11-04 14:30:42.262Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:30:10.087Z |
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-11-04 14:29:38.021Z |
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-11-04 14:29:05.980Z |
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-11-04 14:28:33.876Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:28:01.687Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:27:29.583Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:26:57.542Z |
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-11-04 14:26:25.490Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:25:53.432Z |
| Explain icons... |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:25:21.382Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:24:49.314Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:24:17.170Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:23:44.922Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:23:12.851Z |
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-11-04 14:22:40.815Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:22:08.558Z |
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-11-04 14:21:36.075Z |
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-11-04 14:21:03.860Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:20:31.708Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:19:59.497Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:19:27.456Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:18:55.406Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:18:23.261Z |
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-11-04 14:17:51.026Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:17:18.969Z |
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-11-04 14:16:46.918Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:16:14.700Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:15:42.626Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:15:10.595Z |
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-11-04 14:14:38.564Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:14:06.384Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:13:34.325Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:13:02.277Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:12:30.271Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:11:58.067Z |
Fast On-device LLM Inference with NPUsOn- device inference for Large Language Models (LLMs), driven by increasing privacy concerns and advancements of mobile-sized models, has gained significant interest. However, even mobile-sized LLMs (e.g., Gemma-2B) encounter unacceptably high infere... | ASPLOS-2025 | A | 3 | 2025-11-04 14:11:25.958Z |
Exo 2: Growing a Scheduling LanguageUser- schedulable languages (USLs) help programmers productively optimize programs by providing safe means of transforming them. Current USLs are designed to give programmersexactlythe control they want, while automating all other concerns. However, ... | ASPLOS-2025 | A | 3 | 2025-11-04 14:10:53.765Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:10:21.722Z |
| ASPLOS-2025 | A | 3 | 2025-11-04 14:09:49.654Z |