ASPLOS

ASPLOS 公式サイト ↗

Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

2025 · 184 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

1. 2025 · ASPLOS

   A Software Caching Runtime for Embedded NVRAM Systems

   Harrison Williams, Matthew Hicks

   Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

   日本大学: 関与なし（対象大学）

2. 2025 · ASPLOS

   A qua : Network-Accelerated Memory Offloading for LLMs in Scale-Up GPU Domains

   Abhishek Vijaya Kumar, Gianni Antichi, Rachee Singh

   Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

   日本大学: 関与なし（対象大学）

3. 2025 · ASPLOS

   AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures

   Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, Mark Silberstein, Oleksii Oleksenko, Gururaj Saileshwar

   Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

   日本大学: 関与なし（対象大学）

4. 2025 · ASPLOS

   ARC: Warp-level Adaptive Atomic Reduction in GPUs to Accelerate Differentiable Rendering

   Sankeerth Durvasula, Adrian Zhao, Fan Chen, Ruofan Liang, Pawan Kumar Sanjaya, Yushi Guan, Christina Giannoula, Nandita Vijaykumar

   Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

   日本大学: 関与なし（対象大学）

5. 2025 · ASPLOS

   Accelerating LLM Serving for Multi-turn Dialogues with Efficient Resource Management

   Jinwoo Jeong, Jeongseob Ahn

   Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

   日本大学: 関与なし（対象大学）

6. 2025 · ASPLOS

   Accelerating Number Theoretic Transform with Multi-GPU Systems for Efficient Zero Knowledge Proof

   Zhuoran Ji, Jianyu Zhao, Peimin Gao, Xiangkai Yin, Lei Ju

   Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

   日本大学: 関与なし（対象大学）

7. 2025 · ASPLOS

   Accelerating Retrieval-Augmented Generation

   Derrick Quinn, Mohammad Nouri, Neel Patel, John Salihu, Alireza Salemi, Sukhan Lee, Hamed Zamani, Mohammad Alian

   Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

   日本大学: 関与なし（対象大学）

8. 2025 · ASPLOS

   Affinity-based Optimizations for TFHE on Processing-in-DRAM

   Kevin Nam, Heonhui Jung, Hyunyoung Oh, Yunheung Paek

   Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

   日本大学: 関与なし（対象大学）

9. 2025 · ASPLOS

   AnA: An Attentive Autonomous Driving System

   Wonkyo Choe, Rongxiang Wang, Felix Xiaozhu Lin

   Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

   日本大学: 関与なし（対象大学）

10. 2025 · ASPLOS

    AnyKey: A Key-Value SSD for All Workload Types

    Chanyoung Park, Jungho Lee, Chun-Yi Liu, Kyungtae Kang, Mahmut Taylan Kandemir, Wonil Choi

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

11. 2025 · ASPLOS

    Automatic Tracing in Task-Based Runtime Systems

    Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

12. 2025 · ASPLOS

    BQSim: GPU-accelerated Batch Quantum Circuit Simulation using Decision Diagram

    Shui Jiang, Yi-Hua Chung, Chih-Chun Chang, Tsung-Yi Ho, Tsung-Wei Huang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

13. 2025 · ASPLOS

    BatchZK: A Fully Pipelined GPU-Accelerated System for Batch Generation of Zero-Knowledge Proofs

    Tao Lu, Yuxun Chen, Zonghui Wang, Xiaohang Wang, Wenzhi Chen, Jiaheng Zhang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

14. 2025 · ASPLOS

    Be CIM or Be Memory: A Dual-mode-aware DNN Compiler for CIM Accelerators

    Shixin Zhao, Yuming Li, Bing Li, Yintao He, Mengdi Wang, Yinhe Han, Ying Wang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

15. 2025 · ASPLOS

    Bounding Speculative Execution of Atomic Regions to a Single Retry

    Eduardo José Gómez-Hernández, Juan M. Cebrian, Stefanos Kaxiras, Alberto Ros

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

16. 2025 · ASPLOS

    ByteFS: System Support for (CXL-based) Memory-Semantic Solid-State Drives

    Shaobo Li, Yirui (Eric) Zhou, Hao Ren, Jian Huang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

17. 2025 · ASPLOS

    C T X N L: A Software-Hardware Co-designed Solution for Efficient CXL-Based Transaction Processing

    Zhao Wang, Yiqi Chen, Cong Li, Yijin Guan, Dimin Niu, Tianchan Guan, Zhaoyang Du, Xingda Wei, Guangyu Sun

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

18. 2025 · ASPLOS

    CINM (Cinnamon): A Compilation Infrastructure for Heterogeneous Compute In-Memory and Compute Near-Memory Paradigms

    Asif Ali Khan, Hamid Farzaneh, Karl Friedrich Alexander Friebel, Clément Fournier, Lorenzo Chelini, Jeronimo Castrillon

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

19. 2025 · ASPLOS

    CIPHERMATCH: Accelerating Homomorphic Encryption-Based String Matching via Memory-Efficient Data Packing and In-Flash Processing

    Mayank Kabra, Rakesh Nadig, Harshita Gupta, Rahul Bera, Manos Frouzakis, Vamanan Arulchelvan, Yu Liang, Haiyu Mao, Mohammad Sadrosadati, Onur Mutlu

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

20. 2025 · ASPLOS

    COMET: Towards Practical W4A4KV4 LLMs Serving

    Lian Liu, Long Cheng, Haimeng Ren, Zhaohui Xu, Yudong Pan, Mengdi Wang, Xiaowei Li, Yinhe Han, Ying Wang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

21. 2025 · ASPLOS

    CRUSH: A Cr edit-Based Approach for Functional U nit Sh aring in Dynamically Scheduled HLS

    Jiahui Xu, Lana Josipovic

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

22. 2025 · ASPLOS

    CXLfork: Fast Remote Fork over CXL Fabrics

    Chloe Alverti, Stratos Psomadakis, Burak Ocalan, Shashwat Jaiswal, Tianyin Xu, Josep Torrellas

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

23. 2025 · ASPLOS

    Cascade: A Dependency-aware Efficient Training Framework for Temporal Graph Neural Network

    Yue Dai, Xulong Tang, Youtao Zhang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

24. 2025 · ASPLOS

    Cinnamon: A Framework for Scale-Out Encrypted AI

    Siddharth Jayashankar, Edward Chen, Tom Tang, Wenting Zheng, Dimitrios Skarlatos

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

25. 2025 · ASPLOS

    Clapton: Clifford Assisted Problem Transformation for Error Mitigation in Variational Quantum Algorithms

    Lennart Maximilian Seifert, Siddharth Dangwal, Frederic T. Chong, Gokul Subramanian Ravi

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

26. 2025 · ASPLOS

    ClosureX: Compiler Support for Correct Persistent Fuzzing

    Rishi Ranjan, Ian Paterson, Matthew Hicks

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

27. 2025 · ASPLOS

    CoServe: Efficient Collaboration-of-Experts (CoE) Model Inference with Limited Memory

    Jiashun Suo, Xiaojian Liao, Limin Xiao, Li Ruan, Jinquan Wang, Xiao Su, Zhisheng Huo

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

28. 2025 · ASPLOS

    Coach: Exploiting Temporal Patterns for All-Resource Oversubscription in Cloud Platforms

    Benjamin Reidys, Pantea Zardoshti, Íñigo Goiri, Celine Irvene, Daniel S. Berger, Haoran Ma, Kapil Arya, Eli Cortez, Taylor Stark, Eugene Bak, Mehmet Iyigun, Stanko Novakovic, Lisa Hsu, Karel Trueba, Abhisek Pan, Chetan Bansal, Saravan Rajmohan, Jian Huang, Ricardo Bianchini

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

29. 2025 · ASPLOS

    Composing Distributed Computations Through Task and Kernel Fusion

    Rohan Yadav, Shiv Sundram, Wonchan Lee, Michael Garland, Michael Bauer, Alex Aiken, Fredrik Kjolstad

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

30. 2025 · ASPLOS

    Concerto: Automatic Communication Optimization and Scheduling for Large-Scale Deep Learning

    Shenggan Cheng, Shengjie Lin, Lansong Diao, Hao Wu, Siyu Wang, Chang Si, Ziming Liu, Xuanlei Zhao, Jiangsu Du, Wei Lin, Yang You

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

31. 2025 · ASPLOS

    Concurrency-Informed Orchestration for Serverless Functions

    Qichang Liu, Yue Cheng, Haiying Shen, Ao Wang, Bharathan Balaji

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

32. 2025 · ASPLOS

    Control Logic Synthesis: Drawing the Rest of the OWL

    Zachary D. Sisco, Andrew David Alex, Zechen Ma, Yeganeh Aghamohammadi, Boming Kong, Benjamin Darnell, Timothy Sherwood, Ben Hardekopf, Jonathan Balkind

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

33. 2025 · ASPLOS

    Controlled Preemption: Amplifying Side-Channel Attacks from Userspace

    Yongye Zhu, Boru Chen, Zirui Neil Zhao, Christopher W. Fletcher

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

34. 2025 · ASPLOS

    Cooperative Graceful Degradation in Containerized Clouds

    Kapil Agrawal, Sangeetha Abdu Jyothi

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

35. 2025 · ASPLOS

    Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies

    Divyanshu Saxena, William Zhang, Shankara Pailoor, Isil Dillig, Aditya Akella

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

36. 2025 · ASPLOS

    D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics

    Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Binyu Zang, Haibo Chen

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

37. 2025 · ASPLOS

    DarwinGame: Playing Tournaments for Tuning Applications in Noisy Cloud Environments

    Rohan Basu Roy, Vijay Gadepally, Devesh Tiwari

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

38. 2025 · ASPLOS

    Data Cache for Intermittent Computing Systems with Non-Volatile Main Memory

    Sourav Mohapatra, Vito Kortbeek, Marco Antonio van Eerden, Jochem Broekhoff, Saad Ahmed, Przemysław Pawełczak

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

39. 2025 · ASPLOS

    Debugger Toolchain Validation via Cross-Level Debugging

    Yibiao Yang, Maolin Sun, Jiangchang Wu, Qingyang Li, Yuming Zhou

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

40. 2025 · ASPLOS

    Design and Operation of Shared Machine Learning Clusters on Campus

    Kaiqiang Xu, Decang Sun, Hao Wang, Zhenghang Ren, Xinchen Wan, Xudong Liao, Zilong Wang, Junxue Zhang, Kai Chen

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

41. 2025 · ASPLOS

    Dilu: Enabling GPU Resourcing-on-Demand for Serverless DL Serving via Introspective Elasticity

    Cunchi Lv, Xiao Shi, Zhengyu Lei, Jinyue Huang, Wenting Tan, Xiaohui Zheng, Xiaofang Zhao

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

42. 2025 · ASPLOS

    Don't Repeat Yourself! Coarse-Grained Circuit Deduplication to Accelerate RTL Simulation

    Haoyuan Wang, Thomas Nijssen, Scott Beamer

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

43. 2025 · ASPLOS

    DynaX: Sparse Attention Acceleration with Dynamic X:M Fine-Grained Structured Pruning

    Xiao Xiong, Zhaorui Chen, Yue Liang, Minghao Tian, Jiaxing Shang, Jiang Zhong, Dajiang Liu

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

44. 2025 · ASPLOS

    Dynamic Partial Deadlock Detection and Recovery via Garbage Collection

    Georgian-Vlad Saioc, I-Ting Angelina Lee, Anders Møller, Milind Chabbi

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

45. 2025 · ASPLOS

    EDM: An Ultra-Low Latency Ethernet Fabric for Memory Disaggregation

    Weigao Su, Vishal Shrivastav

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

46. 2025 · ASPLOS

    EXIST: Enabling Extremely Efficient Intra-Service Tracing Observability in Datacenters

    Xinkai Wang, Xiaofeng Hou, Chao Li, Yuancheng Li, Du Liu, Guoyao Xu, Guodong Yang, Liping Zhang, Yuemin Wu, Xiaopeng Yuan, Quan Chen, Minyi Guo

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

47. 2025 · ASPLOS

    Early Termination for Hyperdimensional Computing Using Inferential Statistics

    Pu (Luke) Yi, Yifan Yang, Chae Young Lee, Sara Achour

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

48. 2025 · ASPLOS

    Earth+: On-Board Satellite Imagery Compression Leveraging Historical Earth Observations

    Kuntai Du, Yihua Cheng, Peder Olsen, Shadi Noghabi, Junchen Jiang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

49. 2025 · ASPLOS

    Efficient Lossless Compression of Scientific Floating-Point Data on CPUs and GPUs

    Noushin Azami, Alex Fallin, Martin Burtscher

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

50. 2025 · ASPLOS

    Einsum Trees: An Abstraction for Optimizing the Execution of Tensor Expressions

    Alexander Breuer, Mark Blacher, Max Engel, Joachim Giesen, Alexander Heinecke, Julien Klaus, Stefan Remke

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

51. 2025 · ASPLOS

    ElasticMiter: Formally Verified Dataflow Circuit Rewrites

    Ayatallah Elakhras, Jiahui Xu, Martin Erhart, Paolo Ienne, Lana Josipovi?

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

52. 2025 · ASPLOS

    Embracing Imbalance: Dynamic Load Shifting among Microservice Containers in Shared Clusters

    Shutian Luo, Jianxiong Liao, Chenyu Lin, Huanle Xu, Zhi Zhou, Chengzhong Xu

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

53. 2025 · ASPLOS

    Enabling Efficient Mobile Tracing with BTrace

    Jiawei Wang, Nian Liu, Arnau Casadevall-Saiz, Yutao Liu, Diogo Behrens, Ming Fu, Ning Jia, Hermann Härtig, Haibo Chen

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

54. 2025 · ASPLOS

    Energy-aware Scheduling and Input Buffer Overflow Prevention for Energy-harvesting Systems

    Harsh Desai, Xinye Wang, Brandon Lucia

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

55. 2025 · ASPLOS

    Enhancing CGRA Efficiency Through Aligned Compute and Communication Provisioning

    Zhaoying Li, Pranav Dangi, Chenyang Yin, Thilini Kaushalya Bandara, Rohan Juneja, Cheng Tan, Zhenyu Bai, Tulika Mitra

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

56. 2025 · ASPLOS

    Exo 2: Growing a Scheduling Language

    Yuka Ikarashi, Kevin Qian, Samir Droubi, Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

57. 2025 · ASPLOS

    Extended User Interrupts (xUI): Fast and Flexible Notification without Polling

    Berk Aydogmus, Linsong Guo, Danial Zuberi, Tal Garfinkel, Dean Tullsen, Amy Ousterhout, Kazem Taram

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

58. 2025 · ASPLOS

    FLEXPROF : Flexible, Side-Channel-Free Memory Access

    Jarrett Minton, Rajeev Balasubramonian

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

59. 2025 · ASPLOS

    FMCC: Flexible Measurement-based Quantum Computation over Cluster State

    Yingheng Li, Aditya Pawar, Zewei Mo, Youtao Zhang, Jun Yang, Xulong Tang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

60. 2025 · ASPLOS

    FSMoE: A Flexible and Scalable Training System for Sparse Mixture-of-Experts Models

    Xinglin Pan, Wenxiang Lin, Lin Zhang, Shaohuai Shi, Zhenheng Tang, Rui Wang, Bo Li, Xiaowen Chu

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

61. 2025 · ASPLOS

    Fast On-device LLM Inference with NPUs

    Daliang Xu, Hao Zhang, Liming Yang, Ruiqi Liu, Gang Huang, Mengwei Xu, Xuanzhe Liu

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

62. 2025 · ASPLOS

    FastGL: A GPU-Efficient Framework for Accelerating Sampling-Based GNN Training at Large Scale

    Zeyu Zhu, Peisong Wang, Qinghao Hu, Gang Li, Xiaoyao Liang, Jian Cheng

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

63. 2025 · ASPLOS

    Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs

    Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

64. 2025 · ASPLOS

    Fat-Tree QRAM: A High-Bandwidth Shared Quantum Random Access Memory for Parallel Queries

    Shifan Xu, Alvin Lu, Yongshan Ding

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

65. 2025 · ASPLOS

    FleetIO: Managing Multi-Tenant Cloud Storage with Multi-Agent Reinforcement Learning

    Jinghan Sun, Benjamin Reidys, Daixuan Li, Jichuan Chang, Marc Snir, Jian Huang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

66. 2025 · ASPLOS

    FlexSP: Accelerating Large Language Model Training via Flexible Sequence Parallelism

    Yujie Wang, Shiju Wang, Shenhan Zhu, Fangcheng Fu, Xinyi Liu, Xuefeng Xiao, Huixia Li, Jiashi Li, Faming Wu, Bin Cui

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

67. 2025 · ASPLOS

    Forecasting GPU Performance for Deep Learning Training and Inference

    Seonho Lee, Amar Phanishayee, Divya Mahajan

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

68. 2025 · ASPLOS

    Formalising CXL Cache Coherence

    Chengsong Tan, Alastair F. Donaldson, John Wickerson

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

69. 2025 · ASPLOS

    Frugal: Efficient and Economic Embedding Model Training with Commodity GPUs

    Minhui Xie, Shaoxun Zeng, Hao Guo, Shiwei Gao, Youyou Lu

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

70. 2025 · ASPLOS

    Fusion: An Analytics Object Store Optimized for Query Pushdown

    Jianan Lu, Ashwini Raina, Asaf Cidon, Michael J. Freedman

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

71. 2025 · ASPLOS

    G igaflow : Pipeline-Aware Sub-Traversal Caching for Modern SmartNICs

    Annus Zulfiqar, Ali Imran, Venkat Kunaparaju, Ben Pfaff, Gianni Antichi, Muhammad Shahbaz

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

72. 2025 · ASPLOS

    GUST: Graph Edge-Coloring Utilization for Accelerating Sparse Matrix Vector Multiplication

    Armin Gerami, Bahar Asgari

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

73. 2025 · ASPLOS

    Generalizing Reuse Patterns for Efficient DNN on Microcontrollers

    Jiesong Liu, Bin Ren, Xipeng Shen

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

74. 2025 · ASPLOS

    GraphPipe: Improving Performance and Scalability of DNN Training with Graph Pipeline Parallelism

    Byungsoo Jeon, Mengdi Wu, Shiyi Cao, Sunghyun Kim, Sunghyun Park, Neeraj Aggarwal, Colin Unger, Daiyaan Arfeen, Peiyuan Liao, Xupeng Miao, Mohammad Alizadeh, Gregory R. Ganger, Tianqi Chen, Zhihao Jia

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

75. 2025 · ASPLOS

    H-H oudini : Scalable Invariant Learning

    Sushant Dinesh, Yongye Zhu, Christopher W. Fletcher

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

76. 2025 · ASPLOS

    HALO: Loop-aware Bootstrapping Management for Fully Homomorphic Encryption

    Seonyoung Cheon, Yongwoo Lee, Hoyun Youm, Dongkwan Kim, Sungwoo Yun, Kunmo Jeong, Dongyoon Lee, Hanjun Kim

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

77. 2025 · ASPLOS

    Hardware Sentinel: Protecting Software Applications from Hardware Silent Data Corruptions

    Rhea Dutta, Harish Dattatraya Dixit, Rik Van Riel, Gautham Vunnam, Sriram Sankar

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

78. 2025 · ASPLOS

    Harmonia: A Unified Framework for Heterogeneous FPGA Acceleration in the Cloud

    Luyang Li, Heng Pan, Xinchen Wan, Kai Lv, Zilong Wang, Qian Zhao, Feng Ning, Qingsong Ning, Shideng Zhang, Zhenyu Li, Layong Luo, Gaogang Xie

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

79. 2025 · ASPLOS

    Hassert: Hardware Assertion-Based Verification Framework with FPGA Acceleration

    Ziqing Zhang, Weijie Weng, Yaning Li, Lijia Cai, Haoyu Wang, David Boland, Yungang Bao, Kan Shi

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

80. 2025 · ASPLOS

    Helix: Serving Large Language Models over Heterogeneous GPUs and Network via Max-Flow

    Yixuan Mei, Yonghao Zhuang, Xupeng Miao, Juncheng Yang, Zhihao Jia, Rashmi Vinayak

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

81. 2025 · ASPLOS

    HetEC: Architectures for Heterogeneous Quantum Error Correction Codes

    Samuel Stein, Shifan Xu, Andrew W. Cross, Theodore J. Yoder, Ali Javadi-Abhari, Chenxu Liu, Kun Liu, Zeyuan Zhou, Charlie Guinn, Yufei Ding, Yongshan Ding, Ang Li

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

82. 2025 · ASPLOS

    Hierarchical Prefetching: A Software-Hardware Instruction Prefetcher for Server Applications

    Tingji Zhang, Boris Grot, Wenjian He, Yashuai Lv, Peng Qu, Fang Su, Wenxin Wang, Guowei Zhang, Xuefeng Zhang, Youhui Zhang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

83. 2025 · ASPLOS

    HyperHammer: Breaking Free from KVM-Enforced Isolation

    Wei Chen, Zhi Zhang, Xin Zhang, Qingni Shen, Yuval Yarom, Daniel Genkin, Chen Yan, Zhe Wang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

84. 2025 · ASPLOS

    Instruction-Aware Cooperative TLB and Cache Replacement Policies

    Dimitrios Chasapis, Georgios Vavouliotis, Daniel A. Jiménez, Marc Casas

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

85. 2025 · ASPLOS

    K lotski : Efficient Mixture-of-Expert Inference via Expert-Aware Multi-Batch Pipeline

    Zhiyuan Fang, Yuegui Huang, Zicong Hong, Yufeng Lyu, Wuhui Chen, Yue Yu, Fan Yu, Zibin Zheng

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

86. 2025 · ASPLOS

    KernelGPT: Enhanced Kernel Fuzzing via Large Language Models

    Chenyuan Yang, Zijie Zhao, Lingming Zhang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

87. 2025 · ASPLOS

    Litmus: Fair Pricing for Serverless Computing

    Qi Pei, Yipeng Wang, Seunghee Shin

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

88. 2025 · ASPLOS

    Load and MLP-Aware Thread Orchestration for Recommendation Systems Inference on CPUs

    Rishabh Jain, Teyuh Chou, Onur Kayiran, John Kalamatianos, Gabriel H. Loh, Mahmut T. Kandemir, Chita R. Das

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

89. 2025 · ASPLOS

    M5: Mastering Page Migration and Memory Management for CXL-based Tiered Memory Systems

    Yan Sun, Jongyul Kim, Zeduo Yu, Jiyuan Zhang, Siyuan Chai, Michael Jaemin Kim, Hwayong Nam, Jaehyun Park, Eojin Na, Yifan Yuan, Ren Wang, Jung Ho Ahn, Tianyin Xu, Nam Sung Kim

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

90. 2025 · ASPLOS

    MDPeek: Breaking Balanced Branches in SGX with Memory Disambiguation Unit Side Channels

    Chang Liu, Shuaihu Feng, Yuan Li, Dongsheng Wang, Wenjian He, Yongqiang Lyu, Trevor E. Carlson

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

91. 2025 · ASPLOS

    MOAT: Securely Mitigating Rowhammer with Per-Row Activation Counters

    Moinuddin Qureshi, Salman Qazi

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

92. 2025 · ASPLOS

    MPC-Pipe: an Efficient Pipeline Scheme for Semi-honest MPC Machine Learning

    Yongqin Wang, Rachit Rajat, Murali Annavaram

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

93. 2025 · ASPLOS

    MVQ: Towards Efficient DNN Compression and Acceleration with Masked Vector Quantization

    Shuaiting Li, Chengxuan Wang, Juncan Deng, Zeyu Wang, Zewen Ye, Zongsheng Wang, Haibin Shen, Kejie Huang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

94. 2025 · ASPLOS

    Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries

    Chengfeng Ye, Yuandao Cai, Anshunkang Zhou, Heqing Huang, Hao Ling, Charles Zhang

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

95. 2025 · ASPLOS

    Marionette: A RowHammer Attack via Row Coupling

    Seungmin Baek, Minbok Wi, Seonyong Park, Hwayong Nam, Michael Jaemin Kim, Nam Sung Kim, Jung Ho Ahn

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

96. 2025 · ASPLOS

    MaxEmbed: Maximizing SSD bandwidth utilization for huge embedding models serving

    Ruwen Fan, Minhui Xie, Haodi Jiang, Youyou Lu

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

97. 2025 · ASPLOS

    Medusa: Accelerating Serverless LLM Inference with Materialization

    Shaoxun Zeng, Minhui Xie, Shiwei Gao, Youmin Chen, Youyou Lu

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

98. 2025 · ASPLOS

    MetaSapiens: Real-Time Neural Rendering with Efficiency-Aware Pruning and Accelerated Foveated Rendering

    Weikai Lin, Yu Feng, Yuhao Zhu

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

99. 2025 · ASPLOS

    Micro Blossom: Accelerated Minimum-Weight Perfect Matching Decoding for Quantum Error Correction

    Yue Wu, Namitha Liyanage, Lin Zhong

    Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

    日本大学: 関与なし（対象大学）

100. 2025 · ASPLOS

     Mint: Cost-Efficient Tracing with All Requests Collection via Commonality and Variability Analysis

     Haiyu Huang, Cheng Chen, Kunyi Chen, Pengfei Chen, Guangba Yu, Zilong He, Yilun Wang, Huxing Zhang, Qi Zhou

     Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems

     日本大学: 関与なし（対象大学）