ASPLOS

ASPLOS 公式サイト ↗

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

2026 · 168 papers

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

1. 2026 · ASPLOS

   A Cost-Effective Near-Storage Processing Solution for Offline Inference of Long-Context LLMs

   Hongsun Jang, Jaeyong Song, Changmin Shin, Si Ung Noh, Jaewon Jung, Jisung Park, Jinho Lee

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

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

2. 2026 · ASPLOS

   A Data-Driven Dynamic Execution Orchestration Architecture

   Zhenyu Bai, Pranav Dangi, Rohan Juneja, Zhaoying Li, Zhanglu Yan, Huiying Lan, Tulika Mitra

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

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

3. 2026 · ASPLOS

   A Framework for Developing and Optimizing Fully Homomorphic Encryption Programs on GPUs

   Zhuoran Ji, Jianyu Zhao, Guang Fan, Mingzhe Zhang, Shoumeng Yan, Xueyu Wu, Lei Ju

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

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

4. 2026 · ASPLOS

   A Programming Model for Disaggregated Memory over CXL

   Gal Assa, Moritz Lumme, Lucas Bürgi, Michal Friedman, Ori Lahav

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

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

5. 2026 · ASPLOS

   AGS: A ccelerating 3D G aussian Splatting S LAM via CODEC-Assisted Frame Covisibility Detection

   Houshu He, Naifeng Jing, Li Jiang, Xiaoyao Liang, Zhuoran Song

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

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

6. 2026 · ASPLOS

   APT: Securing Against DRAM Read Disturbance via Adaptive Probabilistic In-DRAM Trackers

   Runjin Wu, Meng Zhang, You Zhou, Changsheng Xie, Fei Wu

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

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

7. 2026 · ASPLOS

   ASDR: Exploiting Adaptive Sampling and Data Reuse for CIM-based Instant Neural Rendering

   Fangxin Liu, Haomin Li, Bowen Zhu, Zongwu Wang, Zhuoran Song, Li Jiang

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

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

8. 2026 · ASPLOS

   Accelerating Computation in Quantum LDPC Code

   Jungmin Cho, Hyeonseong Jeong, Junpyo Kim, Junhyuk Choi, Juwon Hong, Jangwoo Kim

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

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

9. 2026 · ASPLOS

   AlphaSyndrome: Tackling the Syndrome Measurement Circuit Scheduling Problem for QEC Codes

   Yuhao Liu, Shuohao Ping, Junyu Zhou, Ethan Decker, Justin Kalloor, Mathias Weiden, Kean Chen, Yunong Shi, Ali Javadi-Abhari, Costin Iancu, Gushu Li

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

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

10. 2026 · ASPLOS

    An MLIR Lowering Pipeline for Stencils at Wafer-Scale

    Nicolai Stawinoga, David Katz, Anton Lydike, Justs Zarins, Nick Brown, George Bisbas, Tobias Grosser

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

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

11. 2026 · ASPLOS

    Anvil: A General-Purpose Timing-Safe Hardware Description Language

    Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur, Trevor E. Carlson, Prateek Saxena

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

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

12. 2026 · ASPLOS

    Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures

    Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo C. O. Rocha, Tom Spink, Redha Gouicem, Soham Chakraborty, Pramod Bhatotia

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

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

13. 2026 · ASPLOS

    Architecting Scalable Trapped Ion Quantum Computers using Surface Codes

    Scott Jones, Prakash Murali

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

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

14. 2026 · ASPLOS

    Arm Weak Memory Consistency on Apple Silicon: What Is It Good For?

    Yossi Khayet, Adam Morrison

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

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

15. 2026 · ASPLOS

    Asynchrony and GPUs: Bridging this Dichotomy for I/O with AGIO

    Jihoon Han, Anand Sivasubramaniam, Chia-Hao Chang, Vikram Sharma Mailthody, Zaid Qureshi, Wen-mei W. Hwu

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

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

16. 2026 · ASPLOS

    Bat: Efficient Generative Recommender Serving with Bipartite Attention

    Jie Sun, Shaohang Wang, Zimo Zhang, Zhengyu Liu, Yunlong Xu, Peng Sun, Bingsheng He, Fei Wu, Zeke Wang, Bo Zhao

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

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

17. 2026 · ASPLOS

    BitRed: Taming Non-Uniform Bit-Level Sparsity with a Programmable RISC-V ISA for DNN Acceleration

    yanhuan liu, wenming li, kunming zhang, yuqun liu, siao wen, lexin wang, tianyu liu, haibin wu, zhihua fan, xiaochun ye, dongrui fan, xuejun an

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

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

18. 2026 · ASPLOS

    BlendServe: Optimizing Offline Inference with Resource-Aware Batching

    Yilong Zhao, Shuo Yang, Kan Zhu, Lianmin Zheng, Baris Kasikci, Yifan Qiao, Yang Zhou, Jiarong Xing, Ion Stoica

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

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

19. 2026 · ASPLOS

    Borrowing Dirty Qubits in Quantum Programs

    Bonan Su, Li Zhou, Yuan Feng, Mingsheng Ying

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

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

20. 2026 · ASPLOS

    Bullet: Boosting GPU Utilization for LLM Serving via Dynamic Spatial-Temporal Orchestration

    Zejia Lin, Hongxin Xu, Guanyi Chen, Zhiguang Chen, Yutong Lu, Xianwei Zhang

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

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

21. 2026 · ASPLOS

    C xlalloc : Safe and Efficient Memory Allocation for a CXL Pod

    Newton Ni, Yan Sun, Zhiting Zhu, Emmett Witchel

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

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

22. 2026 · ASPLOS

    CEMU: Enabling Full-System Emulation of Computational Storage Beyond Hardware Limits

    Qiuyang Zhang, Jiapin Wang, You Zhou, Peng Xu, Kai Lu, Jiguang Wan, Fei Wu, Tao Lu

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

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

23. 2026 · ASPLOS

    CHEHAB RL: Learning to Optimize Fully Homomorphic Encryption Computations

    Bilel Sefsaf, Abderraouf Dandani, Abdessamed Seddiki, Arab Mohammed, Eduardo Chielle, Mihalis Maniatakos, Riyadh Baghdadi

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

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

24. 2026 · ASPLOS

    CHERI-SIMT: Implementing Capability Memory Protection in GPUs

    Matthew Naylor, Alexandre Joannou, A. Theodore Markettos, Paul Metzger, Simon Moore, Timothy M. Jones

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

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

25. 2026 · ASPLOS

    CLM: Removing the GPU Memory Barrier for 3D Gaussian Splatting

    Hexu Zhao, Xiwen Min, Xiaoteng Liu, Moonjun Gong, Yiming Li, Ang Li, Saining Xie, Jinyang Li, Aurojit Panda

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

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

26. 2026 · ASPLOS

    COGENT: Adaptable Compiler Toolchain for Tagging RISC-V Binaries

    David B Demicco, Matthew Cole, Gokturk Yuksek, RaviTheja Gollapudi, Aravind Prakash, Kanad Ghose, Zerksis D Umrigar

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

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

27. 2026 · ASPLOS

    COMPAS: A Distributed Multi-Party SWAP Test for Parallel Quantum Algorithms

    Brayden Goldstein-Gelb, Kun Liu, John M. Martyn, Hengyun, Zhou, Yongshan Ding, Yuan Liu

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

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

28. 2026 · ASPLOS

    CPU-Oblivious Offloading of Failure-Atomic Transactions for Disaggregated Memory

    Cheng Chen, Chencheng Ye, Yuanchao Xu, Xipeng Shen, Xiaofei Liao, Hai Jin, Wenbin Jiang, Yan Solihin

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

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

29. 2026 · ASPLOS

    CREATE: C ross-Layer Resilience Characterization and Optimization for Efficient yet R eliable E mbodied A I Sys te ms

    Tong Xie, Yijiahao Qi, Jinqi Wen, Zishen Wan, Yanchi Dong, Zihao Wang, Shaofei Cai, Yitao Liang, Tianyu Jia, Yuan Wang, Runsheng Wang, Meng Li

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

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

30. 2026 · ASPLOS

    CREST: High-Performance Contention Resolution for Disaggregated Transactions

    Qihan Kang, Mi Zhang, Patrick P. C. Lee, Yongkang Hu

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

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

31. 2026 · ASPLOS

    CXLMC: Model Checking CXL Shared Memory Programs

    Simon Guo, Conan Truong, Brian Demsky

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

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

32. 2026 · ASPLOS

    CacheMind: From Miss Rates to Why - Natural-Language, Trace-Grounded Reasoning for Cache Replacement

    Kaushal Mhapsekar, Azam Ghanbari, Bita Aslrousta, Samira Mirbagher

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

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

33. 2026 · ASPLOS

    Cheddar: A Swift Fully Homomorphic Encryption Library Designed for GPU Architectures

    Wonseok Choi, Jongmin Kim, Jung Ho Ahn

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

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

34. 2026 · ASPLOS

    Chips Need DIP: Time-Proportional Per-Instruction Cycle Stacks at Dispatch

    Silvio Campelo de Santana, Joseph Rogers, Lieven Eeckhout, Magnus Jahre

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

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

35. 2026 · ASPLOS

    Co-Exploration of RISC-V Processor Microarchitectures and FreeRTOS Extensions for Lower Context-Switch Latency

    Markus Scheck, Tammo Mürmann, Andreas Koch

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

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

36. 2026 · ASPLOS

    CoGraf: Fully Accelerating Graph Applications with Fine-Grained PIM

    Mehmetali Semi Yenimol, Anirban Nag, Chang Hyun Park, David Black-Schaffer

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

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

37. 2026 · ASPLOS

    Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification

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

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

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

38. 2026 · ASPLOS

    Compositional AI Beyond LLMs: System Implications of Neuro-Symbolic-Probabilistic Architectures

    Zishen Wan, Hanchen Yang, Jiayi Qian, Ritik Raj, Joongun Park, Chenyu Wang, Arijit Raychowdhury, Tushar Krishna

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

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

39. 2026 · ASPLOS

    CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions

    Nick Lindsay, Caroline Trippel, Anurag Khandelwal, Abhishek Bhattacharjee

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

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

40. 2026 · ASPLOS

    DARTH-PUM: A Hybrid Processing-Using-Memory Architecture

    Ryan Wong, Ben Feinberg, Saugata Ghose

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

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

41. 2026 · ASPLOS

    DFVG: A Heterogeneous Architecture for Speculative Decoding with D raft-on- F PGA and V erify-on- G PU

    Shaoqiang Lu, Yangbo Wei, Junhong Qian, Dongge Qin, Shiji Gao, Yizhi Ding, Qifan Wang, Chen Wu, Xiao Shi, Lei He

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

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

42. 2026 · ASPLOS

    DIP: Efficient Large Multimodal Model Training with Dynamic Interleaved Pipeline

    Zhenliang Xue, Hanpeng Hu, Xing Chen, Yimin Jiang, Yixin Song, Zeyu Mi, Yibo Zhu, Daxin Jiang, Yubin Xia, Haibo Chen

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

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

43. 2026 · ASPLOS

    DeepContext: A Context-aware, Cross-platform, and Cross-framework Tool for Performance Profiling and Analysis of Deep Learning Workloads

    Qidong Zhao, Hao Wu, Yueming Hao, Zilingfeng Ye, Jiajia Li, Xu Liu, Keren Zhou

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

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

44. 2026 · ASPLOS

    DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking Assisted Processor Fuzzing

    Jinyan Xu, Yangye Zhou, Xingzhi Zhang, Yinshuai Li, Qinhan Tan, Yinqian Zhang, Yajin Zhou, Rui Chang, Wenbo Shen

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

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

45. 2026 · ASPLOS

    Detecting Inconsistencies in Arm CCA's Formally Verified Specification

    Changho Choi, Xiang Cheng, Bokdeuk Jeong, Taesoo Kim

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

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

46. 2026 · ASPLOS

    Dynamic Sparsity in Large-Scale Video DiT Training

    Xin Tan, Yuetao Chen, Yimin Jiang, Xing Chen, Kun Yan, Nan Duan, Yibo Zhu, Daxin Jiang, Hong Xu

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

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

47. 2026 · ASPLOS

    EARTH: An Efficient MoE Accelerator with Entropy-Aware Speculative Prefetch and Result Reuse

    Fangxin Liu, Ning Yang, Jingkui Yang, Zongwu Wang, Chenyang Guan, Yu Feng, Li Jiang, Haibing Guan

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

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

48. 2026 · ASPLOS

    Efficient Remote Memory Ordering for Non-Coherent Systems

    Wei Siew Liew, Md Ashfaqur Rahaman, Adarsh Patil, Ryan Stutsman, Vijay Nagarajan

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

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

49. 2026 · ASPLOS

    Efficient Temporal Graph Network Training via Unified Redundancy Elimination

    Yiqing Wang, Hailong Yang, Kejie Ma, Enze Yu, Pengbo Wang, Xin You, Qingxiao Sun, Chenhao Xie, Zhongzhi Luan, Yi Liu, Depei Qian

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

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

50. 2026 · ASPLOS

    Enabling Fast Networking in the Public Cloud

    Alireza Sanaee, Vahab Jabrayilov, Ilias Marinos, Farbod Shahinfar, Divyanshu Saxena, Kostis Kaffes, Gianni Antichi

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

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

51. 2026 · ASPLOS

    Evaluating Compiler Optimization Impacts on zkVM Performance

    Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su

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

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

52. 2026 · ASPLOS

    Falcon: Algorithm-Hardware Co-Design for Efficient Fully Homomorphic Encryption Accelerator

    Liang Kong, Shengyu Fan, Xianglong Deng, Lei Chen, Guang Fan, Yilan Zhu, Geng Yang, Yisong Chang, Shoumeng Yan, Mingzhe Zhang

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

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

53. 2026 · ASPLOS

    FastTTS: Accelerating Test-Time Scaling for Edge LLM Reasoning

    Hao, Chen, Zhiwen Mo, Guanxi Lu, Shuang Liang, Lingxiao Ma, Wayne Luk, Hongxiang Fan

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

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

54. 2026 · ASPLOS

    Fault Escaping: Improving Robustness of DPU Enhanced Platform with Mutual Assisted VM Recovery

    Chao Zhang, Tao Xu, Junming Liu, Pai Liu, Zhilang Xu, Kang Yan, Shuo Shi, Jintao Li, Jinhu Li, Chen Liang, Wenhui kevin, FeiFei Fan, Yibin Shen, Hang Yang, Jianming Song, Xudong Zheng, Jiesheng Wu, Jian Li

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

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

55. 2026 · ASPLOS

    Finding Reusable Instructions via E-Graph Anti-Unification

    Youwei Xiao, Chenyun Yin, Yitian Sun, Yuyang Zou, Yun Liang

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

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

56. 2026 · ASPLOS

    Fine-grained and Non-intrusive LLM Training Monitoring via Microsecond-level Traffic Measurement

    Yibo Xiao, Hao Zheng, Haifeng Sun, Qingkai Meng, Jiong Duan, Xiaohe Hu, Rong Gu, Guihai Chen, Chen Tian

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

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

57. 2026 · ASPLOS

    FlashMem: Supporting Modern DNN Workloads on Mobile with GPU Memory Hierarchy Optimizations

    Zhihao Shu, Md Musfiqur Rahman Sanim, Hangyu Zheng, Kunxiong Zhu, Miao Yin, Gagan Agrawal, Wei Niu

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

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

58. 2026 · ASPLOS

    FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow

    Rubens Lacouture, Nathan Zhang, Ritvik Sharma, Marco Siracusa, Fredrik Kjolstad, Kunle Olukotun, Olivia Hsu

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

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

59. 2026 · ASPLOS

    GFS: A Preemption-aware Scheduling Framework for GPU Clusters with Predictive Spot Instance Management

    Jiaang Duan, Shenglin Xu, Shiyou Qian, Dingyu Yang, Kangjin Wang, Chenzhi Liao, Yinghao Yu, Qin Hua, Hanwen Hu, Qi Wang, Wenchao Wu, Dongqing Bao, Tianyu Lu, Jian Cao, Guangtao Xue, Guodong Yang, Liping Zhang, Gang Chen

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

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

60. 2026 · ASPLOS

    GS-Scale: Unlocking Large-Scale 3D Gaussian Splatting Training via Host Offloading

    Donghyun Lee, Dawoon Jeong, Jae W. Lee, Hongil Yoon

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

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

61. 2026 · ASPLOS

    Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits

    Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat

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

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

62. 2026 · ASPLOS

    HEPIC: Private Inference over Homomorphic Encryption with Client Intervention

    Kevin Nam, Youyeon Joo, Seungjin Ha, Hyungon Moon, Yunheung Paek

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

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

63. 2026 · ASPLOS

    Hardwired-Neuron Language Processing Units as General-Purpose Cognitive Substrates

    Yang Liu, Yi Chen, Yongwei Zhao, Yifan Hao, Zifu Zheng, Weihao Kong, Zhangmai Li, Dongchen Jiang, Ruiyang Xia, Zhihong Ma, Zisheng Liu, Zhaoyong Wan, Yunqi Lu, Ximing Liu, Hongrui Guo, Zhihao Yang, Zhe Wang, Tianrui Ma, Mo Zou, Rui Zhang, Ling Li, Xing Hu, Zidong Du, Zhiwei Xu, Qi Guo, Tiashi Chen, Yunji Chen

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

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

64. 2026 · ASPLOS

    Highly Automated Verification of Security Properties for Unmodified System Software

    Ganxiang Yang, Wei Qiang, Yi Rong, Xuheng Li, Fanqi Yu, Jason Nieh, Ronghui Gu

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

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

65. 2026 · ASPLOS

    History Doesn't Repeat Itself but Rollouts Rhyme: Accelerating Reinforcement Learning with RhymeRL

    Jingkai He, Tianjian Li, Erhu Feng, Dong Du, Qian Liu, Tao Liu, Yubin Xia, Haibo Chen

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

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

66. 2026 · ASPLOS

    Hitchhike: Efficient Request Submission via Deferred Enforcement of Address Contiguity

    xuda zheng, Jian Zhou, Shuhan Bai, Runjin Wu, Xianlin Tang, Zhiyuan Li, Hong Jiang, Fei Wu

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

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

67. 2026 · ASPLOS

    Hopps: Leveraging Sparsity to Accelerate Automata Processing

    Xingran Du, Joel S. Emer, Daniel Sanchez

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

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

68. 2026 · ASPLOS

    HybridTier: an Adaptive and Lightweight CXL-Memory Tiering System

    Kevin Song, Jiacheng Yang, Zixuan Wang, Jishen Zhao, Sihang Liu, Gennady Pekhimenko

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

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

69. 2026 · ASPLOS

    I/O Analysis is All You Need: An I/O Analysis for Long-Sequence Attention

    Xiaoyang Lu, Boyu Long, Xiaoming Chen, Yinhe Han, Xian-He Sun

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

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

70. 2026 · ASPLOS

    ICARUS: Criticality and Reuse based Instruction Caching for Datacenter Applications

    Vedant Kalbande, Hrishikesh Jedhe Deshmukh, Alberto Ros, Biswabandan Panda

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

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

71. 2026 · ASPLOS

    Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums

    Jaeyeon Won, Willow Ahrens, Joel Emer, Saman Amarasinghe

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

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

72. 2026 · ASPLOS

    It Takes Two to Entangle

    Zhanghan Wang, Ding Ding, Hang Zhu, Haibin Lin, Aurojit Panda

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

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

73. 2026 · ASPLOS

    JOSer: Just-In-Time Object Serialization for Heavy Java Serialization Workloads

    Chaokun Yang, Pengbo Nie, Ziyi Lin, Weipeng Wang, Qianwei Yu, Chengcheng Wan, He Jiang, Yuting Chen

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

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

74. 2026 · ASPLOS

    LAER-MoE: Load-Adaptive Expert Re-layout for Efficient Mixture-of-Experts Training

    Xinyi Liu, Yujie Wang, Fangcheng Fu, Xuefeng Xiao, Huixia Li, Jiashi Li, Bin Cui

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

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

75. 2026 · ASPLOS

    LAIKA: Machine Learning-Assisted In-Kernel APU Acceleration

    Haoming Zhuo, Dingding Li, Ronghua Lin, Yong Tang

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

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

76. 2026 · ASPLOS

    LOOPRAG: Enhancing Loop Transformation Optimization with Retrieval-Augmented Large Language Models

    Yijie Zhi, Yayu Cao, Jianhua Dai, Xiaoyang Han, Jingwen Pu, Qingran Wu, Sheng Cheng, Ming Cai

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

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

77. 2026 · ASPLOS

    LPO: Discovering Missed Peephole Optimizations with Large Language Models

    Zhenyang Xu, Hongxu Xu, Yongqiang Tian, Xintong Zhou, Chengnian Sun

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

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

78. 2026 · ASPLOS

    Lifetime-Aware Design for Item-Level Intelligence at the Extreme Edge

    Shvetank Prakash, Andrew Cheng, Olof Kindgren, Ashiq Ahamed, Graham Knight, Jed Kufel, Francisco Rodriguez, Arya Tschand, David Kong, Mariam Elgamal, Jerry Huang, Emma Chen, Gage Hills, Richard Price, Emre Ozer, Vijay Janapa Reddi

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

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

79. 2026 · ASPLOS

    Linear Layouts: Robust Code Generation of Efficient Tensor Computation Using F_2

    Keren Zhou, Mario Lezcano, Adam Goucher, Akhmed Rakhmati, Jeff Niu, Justin Lebar, Pawel Szczerbuk, Peter Bell, Phil Tillet, Thomas Raoux, Zahi Moudallal

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

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

80. 2026 · ASPLOS

    Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming

    Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik

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

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

81. 2026 · ASPLOS

    M 2 XFP: A Metadata-Augmented Microscaling Data Format for Efficient Low-bit Quantization

    Weiming Hu, Zihan Zhang, Haoyan Zhang, Chen Zhang, Cong Guo, Yu Feng, Tianchi Hu, Guanglin Li, Guipeng Hu, Junsong Wang, Jingwen Leng

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

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

82. 2026 · ASPLOS

    MSCCL++: Rethinking GPU Communication Abstractions for AI Inference

    Changho Hwang, Peng Cheng, Roshan Dathathri, Abhinav Jangda, Saeed Maleki, Madan Musuvathi, Olli Saarikivi, Aashaka Shah, Ziyue Yang, Binyang Li, Caio Rocha, Qinghua Zhou, Mahdieh Ghazimirsaeed, Sreevatsa Anantharamu, Jithin Jose

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

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

83. 2026 · ASPLOS

    Maverick: Rethinking TFHE Bootstrapping on GPUs via Algorithm-Hardware Co-Design

    Zhiwei Wang, Haoqi He, Lutan Zhao, Qingyun Niu, Dan Meng, Rui Hou

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

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

84. 2026 · ASPLOS

    MoDM: Efficient Serving for Image Generation via M ixture- o f- D iffusion M odels

    Yuchen Xia, Divyam Sharma, Yichao Yuan, Souvik Kundu, Nishil Talati

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

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

85. 2026 · ASPLOS

    MoE-APEX: An Efficient MoE Inference System with Adaptive Precision Expert Offloading

    Peng Tang, Jiacheng Liu, Xiaofeng Hou, Yifei Pu, Jing Wang, Pheng-Ann Heng, Chao Li, Minyi Guo

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

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

86. 2026 · ASPLOS

    Mugi: Value Level Parallelism For Efficient LLMs

    Daniel Price, Prabhu Vellaisamy, John Paul Shen, Di Wu

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

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

87. 2026 · ASPLOS

    Nebula: Infinite-Scale 3D Gaussian Splatting in VR via Collaborative Rendering and Accelerated Stereo Rasterization

    He Zhu, Zheng Liu, Xingyang Li, Anbang Wu, Jieru Zhao, Fangxin Liu, Yiming Gan, Jingwen Leng, Yu Feng

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

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

88. 2026 · ASPLOS

    Nemo: A Low-Write-Amplification Cache for Tiny Objects on Log-Structured Flash Devices

    Xufeng Yang, Tingting Tan, Jingxin Hu, Congming Gao, Mingyang Liu, Tianyang Jiang, Jian Chen, Linbo Long, Yina Lv, Jiwu Shu

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

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

89. 2026 · ASPLOS

    Neo: Real-Time On-Device 3D Gaussian Splatting with Reuse-and-Update Sorting Acceleration

    Changhun Oh, Seongryong Oh, Jinwoo Hwang, Yoonsung Kim, Hardik Sharma, Jongse Park

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

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

90. 2026 · ASPLOS

    Neura: A Unified Framework for Hierarchical and Adaptive CGRAs

    Cheng Tan, Miaomiao Jiang, Yuqi Sun, Ruihong Yin, Yanghui Ou, Qing Zhong, Lei Ju, Jeff Zhang

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

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

91. 2026 · ASPLOS

    Neuralink: Fast on-Device LLM Inference with Neuron Co-Activation Linking

    Tuowei Wang, Ruwen Fan, Minxing Huang, Zixu Hao, Kun Li, Ting Cao, Youyou Lu, Yaoxue Zhang, Ju Ren

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

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

92. 2026 · ASPLOS

    NotebookOS: A Replicated Notebook Platform for Interactive Training with On-Demand GPUs

    Benjamin Carver, Jingyuan Zhang, Haoliang Wang, Kanak Mahadik, Yue Cheng

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

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

93. 2026 · ASPLOS

    Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators

    Maolin Sun, Yibiao Yang, Yuming Zhou

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

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

94. 2026 · ASPLOS

    Optimizer-Friendly Instrumentation for Event Quantification with PRUE Algorithm

    Hao Ling, Yiyuan Guo, Charles Zhang

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

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

95. 2026 · ASPLOS

    Ouroboros: Wafer-Scale SRAM CIM with Token-Grained Pipelining for Large Language Model Inference

    Yiqi Liu, Yudong Pan, Mengdi Wang, Shixin Zhao, Haonan Zhu, Yinhe Han, Lei Zhang, Ying Wang

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

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

96. 2026 · ASPLOS

    PACT: A Criticality-First Design for Tiered Memory

    Hamid Hadian, Jinshu Liu, Hanchen Xu, Hansen Idden, Huaicheng Li

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

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

97. 2026 · ASPLOS

    PAT: Accelerating LLM Decoding via P refix- A ware A t tention with Resource Efficient Multi-Tile Kernel

    Jinjun Yi, Zhixin Zhao, Yitao Hu, Ke Yan, Weiwei Sun, Hao Wang, Laiping Zhao, Yuhao Zhang, Wenxin Li, Keqiu Li

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

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

98. 2026 · ASPLOS

    PF-LLM: L arge L anguage M odel Hinted Hardware P re f etching

    Ceyu Xu, Xiangfeng Sun, Weihang Li, Chen Bai, Bangyan Wang, Mengming Li, Zhiyao Xie, Yuan Xie

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

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

99. 2026 · ASPLOS

    PIPM: Partial and Incremental Page Migration for Multi-host CXL Disaggregated Shared Memory

    Gangqi Huang, Heiner Litz, Yuanchao Xu

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

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

100. 2026 · ASPLOS

     PUSHtap: PIM-based In-Memory HTAP with Unified Data Storage Format

     Yilong Zhao, Mingyu Gao, Huanchen Zhang, Fangxin Liu, Gongye Chen, He Xian, Li Jiang

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

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