ASPLOS

ASPLOS 公式サイト ↗

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

2025 · 184 papers

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

1. 2025 · ASPLOS

   MoC-System: Efficient Fault Tolerance for Sparse Mixture-of-Experts Model Training

   Weilin Cai, Le Qin, Jiayi Huang

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

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

2. 2025 · ASPLOS

   MoE-L ightning : High-Throughput MoE Inference on Memory-constrained GPUs

   Shiyi Cao, Shu Liu, Tyler Griggs, Peter Schafhalter, Xiaoxuan Liu, Ying Sheng, Joseph E. Gonzalez, Matei Zaharia, Ion Stoica

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

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

3. 2025 · ASPLOS

   Mosaic: Exploiting Instruction-Level Parallelism on Deep Learning Accelerators with iTex Tessellation

   Jianxing Xu, Yuanbo Wen, Zikang Liu, Ruibai Xu, Tingfeng Ruan, Jun Bi, Rui Zhang, Di Huang, Xinkai Song, Yifan Hao, Xing Hu, Zidong Du, Chongqing Zhao, Jiang Jie, Qi Guo

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

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

4. 2025 · ASPLOS

   Nazar: Monitoring and Adapting ML Models on Mobile Devices

   Wei Hao, Zixi Wang, Lauren Hong, Lingxiao Li, Nader Karayanni, AnMei Dasbach-Prisk, Chengzhi Mao, Junfeng Yang, Asaf Cidon

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

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

5. 2025 · ASPLOS

   Necro-reaper: Pruning away Dead Memory Traffic in Warehouse-Scale Computers

   Sotiris Apostolakis, Chris Kennelly, Xinliang David Li, Parthasarathy Ranganathan

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

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

6. 2025 · ASPLOS

   OS2G: A High-Performance DPU Offloading Architecture for GPU-based Deep Learning with Object Storage

   Zhen Jin, Yiquan Chen, Mingxu Liang, Yijing Wang, Guoju Fang, Ao Zhou, Keyao Zhang, Jiexiong Xu, Wenhai Lin, Yiquan Lin, Shushu Zhao, Wenkai Shi, Zhenhua He, Shishun Cai, Wenzhi Chen

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

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

7. 2025 · ASPLOS

   OctoCache: Caching Voxels for Accelerating 3D Occupancy Mapping in Autonomous Systems

   Peiqing Chen, Minghao Li, Zishen Wan, Yu-Shun Hsiao, Minlan Yu, Vijay Janapa Reddi, Zaoxing Liu

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

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

8. 2025 · ASPLOS

   Optimizing Datalog for the GPU

   Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Sidharth Kumar, Kristopher Micinski

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

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

9. 2025 · ASPLOS

   Optimizing Deep Learning Inference Efficiency through Block Dependency Analysis

   Zhanyuan Di, Leping Wang, En Shao, Zhaojia Ma, Ziyi Ren, Feng Hua, Lixian Ma, Jie Zhao, Guangming Tan, Ninghui Sun

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

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

10. 2025 · ASPLOS

    Optimizing Quantum Circuits, Fast and Slow

    Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi

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

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

11. 2025 · ASPLOS

    Orion: A Fully Homomorphic Encryption Framework for Deep Learning

    Austin Ebel, Karthik Garimella, Brandon Reagen

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

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

12. 2025 · ASPLOS

    P arendi : Thousand-Way Parallel RTL Simulation

    Mahyar Emami, Thomas Bourgeat, James R. Larus

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

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

13. 2025 · ASPLOS

    PAPI: Exploiting Dynamic Parallelism in Large Language Model Decoding with a Processing-In-Memory-Enabled Computing System

    Yintao He, Haiyu Mao, Christina Giannoula, Mohammad Sadrosadati, Juan Gómez-Luna, Huawei Li, Xiaowei Li, Ying Wang, Onur Mutlu

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

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

14. 2025 · ASPLOS

    PCcheck: Persistent Concurrent Checkpointing for ML

    Foteini Strati, Michal Friedman, Ana Klimovic

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

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

15. 2025 · ASPLOS

    PICACHU: Plug-In CGRA Handling Upcoming Nonlinear Operations in LLMs

    Jiajun Qin, Tianhua Xia, Cheng Tan, Jeff Zhang, Sai Qian Zhang

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

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

16. 2025 · ASPLOS

    PIM Is All You Need: A CXL-Enabled GPU-Free System for Large Language Model Inference

    Yufeng Gu, Alireza Khadem, Sumanth Umesh, Ning Liang, Xavier Servot, Onur Mutlu, Ravi Iyer, Reetuparna Das

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

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

17. 2025 · ASPLOS

    POD-A ttention : Unlocking Full Prefill-Decode Overlap for Faster LLM Inference

    Aditya K. Kamath, Ramya Prabhu, Jayashree Mohan, Simon Peter, Ramachandran Ramjee, Ashish Panwar

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

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

18. 2025 · ASPLOS

    PartIR: Composing SPMD Partitioning Strategies for Machine Learning

    Sami Alabed, Daniel Belov, Bart Chrzaszcz, Juliana Franco, Dominik Grewe, Dougal Maclaurin, James Molloy, Tom Natan, Tamara Norman, Xiaoyue Pan, Adam Paszke, Norman A. Rink, Michael Schaarschmidt, Timur Sitdikov, Agnieszka Swietlik, Dimitrios Vytiniotis, Joel Wee

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

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

19. 2025 · ASPLOS

    Past-Future Scheduler for LLM Serving under SLA Guarantees

    Ruihao Gong, Shihao Bai, Siyu Wu, Yunqian Fan, Zaijun Wang, Xiuhong Li, Hailong Yang, Xianglong Liu

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

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

20. 2025 · ASPLOS

    Pave: Information Flow Control for Privacy-preserving Online Data Processing Services

    Minkyung Park, Jaeseung Choi, Hyeonmin Lee, Taekyoung Kwon

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

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

21. 2025 · ASPLOS

    Performance Prediction of On-NIC Network Functions with Multi-Resource Contention and Traffic Awareness

    Shaofeng Wu, Qiang Su, Zhixiong Niu, Hong Xu

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

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

22. 2025 · ASPLOS

    PhasePrint: Exposing Cloud FPGA Fingerprints by Inducing Timing Faults at Runtime

    Jubayer Mahmod, Matthew Hicks

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

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

23. 2025 · ASPLOS

    PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption

    Yifan Tan, Cheng Tan, Zeyu Mi, Haibo Chen

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

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

24. 2025 · ASPLOS

    Pirate: No Compromise Low-Bandwidth VR Streaming for Edge Devices

    Yingtian Zhang, Yan Kang, Ziyu Ying, Wanhang Lu, Sijie Lan, Huijuan Xu, Kiwan Maeng, Anand Sivasubramaniam, Mahmut T. Kandemir, Chita R. Das

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

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

25. 2025 · ASPLOS

    Practical Federated Recommendation Model Learning Using ORAM with Controlled Privacy

    Jinyu Liu, Wenjie Xiong, G. Edward Suh, Kiwan Maeng

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

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

26. 2025 · ASPLOS

    Proactive Runtime Detection of Aging-Related Silent Data Corruptions: A Bottom-Up Approach

    Jiacheng Ma, Majd Ganaiem, Madeline Burbage, Theo Gregersen, Rachel McAmis, Freddy Gabbay, Baris Kasikci

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

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

27. 2025 · ASPLOS

    Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants)

    Santiago Arranz Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Gregoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang

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

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

28. 2025 · ASPLOS

    Pruner: A Draft-then-Verify Exploration Mechanism to Accelerate Tensor Program Tuning

    Liang Qiao, Jun Shi, Xiaoyu Hao, Xi Fang, Sen Zhang, Minfan Zhao, Ziqi Zhu, Junshi Chen, Hong An, Xulong Tang, Bing Li, Honghui Yuan, Xinyang Wang

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

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

29. 2025 · ASPLOS

    QECC-Synth: A Layout Synthesizer for Quantum Error Correction Codes on Sparse Architectures

    Keyi Yin, Hezi Zhang, Xiang Fang, Yunong Shi, Travis S. Humble, Ang Li, Yufei Ding

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

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

30. 2025 · ASPLOS

    QRCC: Evaluating Large Quantum Circuits on Small Quantum Computers through Integrated Qubit Reuse and Circuit Cutting

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

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

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

31. 2025 · ASPLOS

    RANGE-BLOCKS: A Synchronization Facility for Domain-Specific Architectures

    Anagha Molakalmur Anil Kumar, Aditya Prasanna, Arrvindh Shriraman

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

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

32. 2025 · ASPLOS

    RASSM: Residue-based Acceleration of Single Sparse Matrix Computation via Adaptive Tiling

    Anirudh Jain, Pulkit Gupta, Thomas M. Conte

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

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

33. 2025 · ASPLOS

    RESCQ: Realtime Scheduling for Continuous Angle Quantum Error Correction Architectures

    Sayam Sethi, Jonathan Mark Baker

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

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

34. 2025 · ASPLOS

    RTL Verification for Secure Speculation Using Contract Shadow Logic

    Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan

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

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

35. 2025 · ASPLOS

    Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics

    Pingshi Yu, Nicolas Wu, Alastair F. Donaldson

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

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

36. 2025 · ASPLOS

    ReCA: Integrated Acceleration for Real-Time and Efficient Cooperative Embodied Autonomous Agents

    Zishen Wan, Yuhang Du, Mohamed Ibrahim, Jiayi Qian, Jason Jabbour, Yang (Katie) Zhao, Tushar Krishna, Arijit Raychowdhury, Vijay Janapa Reddi

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

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

37. 2025 · ASPLOS

    ReSBM: Region-based Scale and Minimal-Level Bootstrapping Management for FHE via Min-Cut

    Yan Liu, Jianxin Lai, Long Li, Tianxiang Sui, Linjie Xiao, Peng Yuan, Xiaojing Zhang, Qing Zhu, Wenguang Chen, Jingling Xue

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

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

38. 2025 · ASPLOS

    Relax: Composable Abstractions for End-to-End Dynamic Machine Learning

    Ruihang Lai, Junru Shao, Siyuan Feng, Steven Lyubomirsky, Bohan Hou, Wuwei Lin, Zihao Ye, Hongyi Jin, Yuchen Jin, Jiawei Liu, Lesheng Jin, Yaxing Cai, Ziheng Jiang, Yong Wu, Sunghyun Park, Prakalp Srivastava, Jared Roesch, Todd C. Mowry, Tianqi Chen

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

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

39. 2025 · ASPLOS

    Reload+Reload: Exploiting Cache and Memory Contention Side Channel on AMD SEV

    Li-Chung Chiang, Shih-Wei Li

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

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

40. 2025 · ASPLOS

    Rethinking Java Performance Analysis

    Stephen M. Blackburn, Zixian Cai, Rui Chen, Xi Yang, John Zhang, John Zigman

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

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

41. 2025 · ASPLOS

    Robustness Verification for Checking Crash Consistency of Non-volatile Memory

    Zhilei Han, Fei He

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

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

42. 2025 · ASPLOS

    S nowplow : Effective Kernel Fuzzing with a Learned White-box Test Mutator

    Sishuai Gong, Wang Rui, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis

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

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

43. 2025 · ASPLOS

    SMaCk: Efficient Instruction Cache Attacks via Self-Modifying Code Conflicts

    Seonghun Son, Daniel Moghimi, Berk Gulmezoglu

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

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

44. 2025 · ASPLOS

    Salus: A Practical Trusted Execution Environment for CPU-FPGA Heterogeneous Cloud Platforms

    Yu Zou, Yiran Li, Sheng Wang, Le Su, Zhen Gu, Yanheng Lu, Yijin Guan, Dimin Niu, Mingyu Gao, Yuan Xie, Feifei Li

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

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

45. 2025 · ASPLOS

    Saving Energy with Per-Variable Bitwidth Speculation

    Tommy McMichen, David Dlott, Panitan Wongse-ammat, Nathan Greiner, Hussain Khajanchi, Russ Joseph, Simone Campanoni

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

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

46. 2025 · ASPLOS

    Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern Architectures

    Shravan Narayan, Tal Garfinkel, Evan Johnson, Zachary Yedidia, Yingchen Wang, Andrew Brown, Anjo Vahldiek-Oberwagner, Michael LeMay, Wenyong Huang, Xin Wang, Mingqiu Sun, Dean Tullsen, Deian Stefan

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

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

47. 2025 · ASPLOS

    Selectively Uniform Concurrency Testing

    Huan Zhao, Dylan Wolff, Umang Mathur, Abhik Roychoudhury

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

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

48. 2025 · ASPLOS

    ShadowLoad: Injecting State into Hardware Prefetchers

    Lorenz Hetterich, Fabian Thomas, Lukas Gerlach, Ruiyi Zhang, Nils Bernsdorf, Eduard Ebert, Michael Schwarz

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

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

49. 2025 · ASPLOS

    Sharing is leaking: blocking transient-execution attacks with core-gapped confidential VMs

    Charly Castes, Andrew Baumann

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

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

50. 2025 · ASPLOS

    Simplifying and Accelerating NOR Flash I/O Stack for RAM-Restricted Microcontrollers

    Hao Huang, Yanqi Pan, Wen Xia, Xiangyu Zou, Darong Yang, Liang Shi, Hongwei Du

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

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

51. 2025 · ASPLOS

    Skia: Exposing Shadow Branches

    Chrysanthos Pepi, Bhargav Reddy Godala, Krishnam Tibrewala, Gino A. Chacon, Paul V. Gratz, Daniel A. Jiménez, Gilles A. Pokam, David I. August

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

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

52. 2025 · ASPLOS

    SmoothE: Differentiable E-Graph Extraction

    Yaohui Cai, Kaixin Yang, Chenhui Deng, Cunxi Yu, Zhiru Zhang

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

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

53. 2025 · ASPLOS

    Spindle: Efficient Distributed Training of Multi-Task Large Models via Wavefront Scheduling

    Yujie Wang, Shenhan Zhu, Fangcheng Fu, Xupeng Miao, Jie Zhang, Juan Zhu, Fan Hong, Yong Li, Bin Cui

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

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

54. 2025 · ASPLOS

    Squeezing Operator Performance Potential for the Ascend Architecture

    Yuhang Zhou, Zhibin Wang, Guyue Liu, Shipeng Li, Xi Lin, Zibo Wang, Yongzhong Wang, Fuchun Wei, Jingyi Zhang, Zhiheng Hu, Yanlin Liu, Chunsheng Li, Ziyang Zhang, Yaoyuan Wang, Bin Zhou, Wanchun Dou, Guihai Chen, Chen Tian

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

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

55. 2025 · ASPLOS

    Stramash: A Fused-Kernel Operating System For Cache-Coherent, Heterogeneous-ISA Platforms

    Tong Xing, Cong Xiong, Tianrui Wei, April Sanchez, Binoy Ravindran, Jonathan Balkind, Antonio Barbalace

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

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

56. 2025 · ASPLOS

    StreamGrid: Streaming Point Cloud Analytics via Compulsory Splitting and Deterministic Termination

    Yu Feng, Zheng Liu, Weikai Lin, Zihan Liu, Jingwen Leng, Minyi Guo, Zhezhi He, Jieru Zhao, Yuhao Zhu

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

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

57. 2025 · ASPLOS

    SuperNoVA: Algorithm-Hardware Co-Design for Resource-Aware SLAM

    Seah Kim, Roger Hsiao, Borivoje Nikolic, James Demmel, Yakun Sophia Shao

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

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

58. 2025 · ASPLOS

    Systematic CXL Memory Characterization and Performance Analysis at Scale

    Jinshu Liu, Hamid Hadian, Yuyue Wang, Daniel S. Berger, Marie Nguyen, Xun Jian, Sam H. Noh, Huaicheng Li

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

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

59. 2025 · ASPLOS

    TAPAS: Thermal- and Power-Aware Scheduling for LLM Inference in Cloud Platforms

    Jovan Stojkovic, Chaojie Zhang, Íñigo Goiri, Esha Choukse, Haoran Qiu, Rodrigo Fonseca, Josep Torrellas, Ricardo Bianchini

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

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

60. 2025 · ASPLOS

    TNIC: A Trusted NIC Architecture: A hardware-network substrate for building high-performance trustworthy distributed systems

    Dimitra Giantsidi, Julian Pritzi, Felix Gust, Antonios Katsarakis, Atsushi Koshiba, Pramod Bhatotia

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

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

61. 2025 · ASPLOS

    TaOPT : Tool-Agnostic Optimization of Parallelized Automated Mobile UI Testing

    Dezhi Ran, Zihe Song, Wenyu Wang, Wei Yang, Tao Xie

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

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

62. 2025 · ASPLOS

    Tackling ML-based Dynamic Mispredictions using Statically Computed Invariants for Attack Surface Reduction

    Chris Porter, Sharjeel Khan, Kangqi Ni, Santosh Pande

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

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

63. 2025 · ASPLOS

    TaintEMU: Decoupling Tracking from Functional Domains for Architecture-Agnostic and Efficient Whole-System Taint Tracking

    Lei Cui, Youquan Xian, Peng Liu, Longjin Lu

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

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

64. 2025 · ASPLOS

    Tally: Non-Intrusive Performance Isolation for Concurrent Deep Learning Workloads

    Wei Zhao, Anand Jayarajan, Gennady Pekhimenko

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

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

65. 2025 · ASPLOS

    Target-Aware Implementation of Real Expressions

    Brett Saiki, Jackson Brough, Jonas Regehr, Jesus Ponce, Varun Pradeep, Aditya Akhileshwaran, Zachary Tatlock, Pavel Panchekha

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

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

66. 2025 · ASPLOS

    Tela: A Temporal Load-Aware Cloud Virtual Disk Placement Scheme

    Difan Tan, Jiawei Li, Hua Wang, Xiaoxiao Li, Wenbo Liu, Zijin Qin, Ke Zhou, Ming Xie, Mengling Tao

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

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

67. 2025 · ASPLOS

    TensorTEE: Unifying Heterogeneous TEE Granularity for Efficient Secure Collaborative Tensor Computing

    Husheng Han, Xinyao Zheng, Yuanbo Wen, Yifan Hao, Erhu Feng, Ling Liang, Jianan Mu, Xiaqing Li, Tianyun Ma, Pengwei Jin, Xinkai Song, Zidong Du, Qi Guo, Xing Hu

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

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

68. 2025 · ASPLOS

    The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators

    Xianfei Ou, Cong Li, Yanyan Jiang, Chang Xu

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

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

69. 2025 · ASPLOS

    Toleo: Scaling Freshness to Tera-scale Memory Using CXL and PIM

    Juechu Dong, Jonah Rosenblum, Satish Narayanasamy

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

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

70. 2025 · ASPLOS

    Towards End-to-End Optimization of LLM-based Applications with Ayo

    Xin Tan, Yimin Jiang, Yitao Yang, Hong Xu

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

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

71. 2025 · ASPLOS

    Towards Sound Reassembly of Modern x86-64 Binaries

    Hyungseok Kim, Soomin Kim, Sang Kil Cha

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

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

72. 2025 · ASPLOS

    Towards Unified Analysis of GPU Consistency

    Haining Tong, Natalia Gavrilenko, Hernan Ponce de Leon, Keijo Heljanko

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

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

73. 2025 · ASPLOS

    Treelet Accelerated Ray Tracing on GPUs

    Yuan Hsi Chou, Tor M. Aamodt

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

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

74. 2025 · ASPLOS

    UniZK: Accelerating Zero-Knowledge Proof with Unified Hardware and Flexible Kernel Mapping

    Cheng Wang, Mingyu Gao

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

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

75. 2025 · ASPLOS

    Using Analytical Performance/Power Model and Fine-Grained DVFS to Enhance AI Accelerator Energy Efficiency

    Zibo Wang, Yijia Zhang, Fuchun Wei, Bingqiang Wang, Yanlin Liu, Zhiheng Hu, Jingyi Zhang, Xiaoxin Xu, Jian He, Xiaoliang Wang, Wanchun Dou, Guihai Chen, Chen Tian

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

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

76. 2025 · ASPLOS

    Validating JVM Compilers via Maximizing Optimization Interactions

    Zifan Xie, Ming Wen, Shiyu Qiu, Hai Jin

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

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

77. 2025 · ASPLOS

    Vela: A Virtualized LLM Training System with GPU Direct RoCE

    Apoorve Mohan, Robert Walkup, Bengi Karacali, Ming-hung Chen, Abdullah Kayi, Liran Schour, Shweta Salaria, Sophia Wen, I-hsin Chung, Abdul Alim, Constantinos Evangelinos, Lixiang Luo, Marc Dombrowa, Laurent Schares, Ali Sydney, Pavlos Maniotis, Sandhya Koteshwara, Brent Tang, Joel Belog, Rei Odaira, Vasily Tarasov, Eran Gampel, Drew Thorstensen, Talia Gershon, Seetharami Seelam

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

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

78. 2025 · ASPLOS

    Velosiraptor : Code Synthesis for Memory Translation

    Reto Achermann, Em Chu, Ryan Mehri, Ilias Karimalis, Margo Seltzer

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

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

79. 2025 · ASPLOS

    VertexSurge: Variable Length Graph Pattern Match on Billion-edge Graphs

    Weiyu Xie, MingXing Zhang, Xia Liao, Kang Chen, Jinlei Jiang, YongWei Wu

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

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

80. 2025 · ASPLOS

    Virgo: Cluster-level Matrix Unit Integration in GPUs for Scalability and Energy Efficiency

    Hansung Kim, Ruohan Richard Yan, Joshua You, Tieliang Vamber Yang, Yakun Sophia Shao

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

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

81. 2025 · ASPLOS

    Virtuoso: Enabling Fast and Accurate Virtual Memory Research via an Imitation-based Operating System Simulation Methodology

    Konstantinos Kanellopoulos, Konstantinos Sgouras, F. Nisa Bostanci, Andreas Kosmas Kakolyris, Berkin Kerim Konar, Rahul Bera, Mohammad Sadrosadati, Rakesh Kumar, Nandita Vijaykumar, Onur Mutlu

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

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

82. 2025 · ASPLOS

    ZRAID: Leveraging Zone Random Write Area (ZRWA) for Alleviating Partial Parity Tax in ZNS RAID

    Minwook Kim, Seongyeop Jeong, Jin-Soo Kim

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

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

83. 2025 · ASPLOS

    pulse: Accelerating Distributed Pointer-Traversals on Disaggregated Memory

    Yupeng Tang, Seung-seob Lee, Abhishek Bhattacharjee, Anurag Khandelwal

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

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

84. 2025 · ASPLOS

    vAttention: Dynamic Memory Management for Serving LLMs without PagedAttention

    Ramya Prabhu, Ajay Nayak, Jayashree Mohan, Ramachandran Ramjee, Ashish Panwar

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

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