ASPLOS

ASPLOS 公式サイト ↗

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

2026 · 168 papers

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

1. 2026 · ASPLOS

   Parameterized Hardware Design with Latency-Abstract Interfaces

   Rachit Nigam, Edmund Lam, Ethan Gabizon, Carolyn Zech, Jonathan Balkind, Adrian Sampson

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

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

2. 2026 · ASPLOS

   Performance Predictability in Heterogeneous Memory

   Jinshu Liu, Hanchen Xu, Daniel S. Berger, Marcos K. Aguilera, Huaicheng Li

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

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

3. 2026 · ASPLOS

   PowerMove: Optimizing Compilation for Neutral Atom Quantum Computers with Zoned Architecture

   Jixuan Ruan, Xiang Fang, Hezi Zhang, Ang Li, Travis Humble, Yufei Ding

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

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

4. 2026 · ASPLOS

   PrioriFI: More Informed Fault Injection for Edge Neural Networks

   Olivia Weng, Andres Meza, Nhan Tran, Ryan Kastner

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

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

5. 2026 · ASPLOS

   PropHunt: Automated Optimization of Quantum Syndrome Measurement Circuits

   Joshua Viszlai, Satvik Maurya, Swamit Tannu, Margaret R. Martonosi, Fred Chong

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

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

6. 2026 · ASPLOS

   QTurbo: A Robust and Efficient Compiler for Analog Quantum Simulation

   Junyu Zhou, Yuhao Liu, Shize Che, Anupam Mitra, Efekan Kökcü, Ermal Rrapaj, Costin Iancu, Gushu Li

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

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

7. 2026 · ASPLOS

   QoServe: Breaking the Silos of LLM Inference Serving

   Kanishk Goel, Jayashree Mohan, Nipun Kwatra, Ravi Anupindi, Ram Ramjee

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

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

8. 2026 · ASPLOS

   REPA: Re configurable P IM for the Joint A cceleration of KV Cache Offloading and Processing

   Yang Hong, Junlong Yang, Bo Peng, Jianguo Yao

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

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

9. 2026 · ASPLOS

   RTeAAL Sim: Using Tensor Algebra to Represent and Accelerate RTL Simulation

   Yan Zhu, Boru Chen, Christopher W. Fletcher, Nandeeka Nayak

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

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

10. 2026 · ASPLOS

    Radshield: Software Radiation Protection for Commodity Hardware in Space

    Haoda Wang, Yonatan Winetraub, Steven Myint, Vandi Verma, Junfeng Yang, Asaf Cidon

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

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

11. 2026 · ASPLOS

    Rage Against the State Machine: Type-Stated Hardware Peripherals for Increased Driver Correctness

    Tyler Potyondy, Anthony Tarbinian, Leon Schuermann, Eric Mugnier, Adin Ackerman, Amit Levy, Pat Pannuto

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

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

12. 2026 · ASPLOS

    Reconfigurable Quantum Instruction Set Computers for High Performance Attainable on Hardware

    Zhaohui Yang, Dawei Ding, Qi Ye, Cupjin Huang, Jianxin Chen, Yuan Xie

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

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

13. 2026 · ASPLOS

    Reconfigurable Torus Fabrics for Multi-tenant ML

    Abhishek Vijaya Kumar, Eric Ding, Arjun Devraj, Darius Bunandar, Rachee Singh

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

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

14. 2026 · ASPLOS

    RedFuser: An Automatic Operator Fusion Framework for Cascaded Reductions on AI Accelerators

    Xinsheng Tang, Yangcheng Li, Nan Wang, Zhiyi Shu, Xingyu Ling, Junna Xing, Peng Zhou, Qiang Liu

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

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

15. 2026 · ASPLOS

    Reducing T Gates with Unitary Synthesis

    Tianyi Hao, Amanda Xu, Swamit Tannu

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

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

16. 2026 · ASPLOS

    ReliaFHE: Resilient Design for Fully Homomorphic Encryption Accelerators

    Fan Li, Mayank Kumar, Ruizhi Zhu, Mengxin Zheng, Qian Lou, Xin Xin

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

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

17. 2026 · ASPLOS

    RowArmor: Efficient and Comprehensive Protection Against DRAM Disturbance Attacks

    Minbok Wi, Yoonyul Yoo, Yoojin Kim, Jaeho Shin, Jumin Kim, Yesin Ryu, Saeid Gorgin, Jung Ho Ahn, Jungrae Kim

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

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

18. 2026 · ASPLOS

    SEVI: Silent Data Corruption of Vector Instructions in Hyper-Scale Datacenters

    Yixuan Mei, Shreya Varshini, Harish Dattatraya Dixit, Sriram Sankar, Rashmi Vinayak

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

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

19. 2026 · ASPLOS

    SG-IOV: Socket-Granular I/O Virtualization for SmartNIC-Based Container Networks

    Chenxingyu Zhao, Hongtao Zhang, Jaehong Min, Shengkai Lin, Wei Zhang, Kaiyuan Zhang, Ming Liu, Arvind Krishnamurthy

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

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

20. 2026 · ASPLOS

    SLAWS: Spatial Locality Analysis and Workload Orchestration for Sparse Matrix Multiplication

    Guoyu Li, Zheng Guan, Beichen Zhang, Jun Yu, Kun Wang

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

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

21. 2026 · ASPLOS

    SNIP: An Adaptive Mixed Precision Framework for Subbyte Large Language Model Training

    Yunjie Pan, Jiecao Yu, Yongyi Yang, Hanmei Yang, Zhaoxia, Deng, Scott Mahlke

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

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

22. 2026 · ASPLOS

    STARC: Selective Token Access with Remapping and Clustering for Efficient LLM Decoding on PIM Systems

    Zehao Fan, Yunzhen Liu, Garrett Gagnon, Zhenyu Liu, Yayue Hou, Hadjer Benmeziane, Kaoutar El Maghraoui, Liu Liu

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

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

23. 2026 · ASPLOS

    STRAW: Stress-Aware WL-Based Read Disturbance Management for High-Density NAND Flash Memory

    Myoungjun Chun, Jaeyong Lee, Inhyuk Choi, Jisung Park, Myungsuk Kim, Jihong Kim

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

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

24. 2026 · ASPLOS

    SYL Q-SV: Scaling Symbolic Execution of Hardware Designs with Query Caching

    Kaki Ryan, Cynthia Sturton

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

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

25. 2026 · ASPLOS

    Scaling Automated Database System Testing

    Suyang Zhong, Manuel Rigger

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

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

26. 2026 · ASPLOS

    Segment Only Where You Look: Leveraging Human Gaze Behavior for Efficient Computer Vision Applications in Augmented Reality

    Tianhua Xia, Haiyu Wang, Sai Qian Zhang

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

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

27. 2026 · ASPLOS

    Sequential Specifications for Precise Hardware Exceptions

    Yulun Yao, Drew Zagieboylo, G. Edward Suh, Andrew Myers

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

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

28. 2026 · ASPLOS

    Shift Parallelism: Low-Latency, High-Throughput LLM Inference for Dynamic Workloads

    Mert Hidayetoglu, Aurick Qiao, Michael Wyatt, Jeff Rasley, Yuxiong He, Samyam Rajbhandari

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

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

29. 2026 · ASPLOS

    Signal Breaker: Fuzzing Digital Signal Processors

    Cameron Garcia, Matthew Hicks

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

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

30. 2026 · ASPLOS

    Skyler: Static Analysis for Predicting API-Driven Costs in Serverless Applications

    Bernardo Ribeiro, Mafalda Ferreira, José Fragoso Santos, Rodrigo Bruno, Nuno Santos

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

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

31. 2026 · ASPLOS

    SpeContext: Enabling Efficient Long-context Reasoning with Speculative Context Sparsity in LLMs

    Jiaming Xu, Jiayi Pan, Hanzhen Wang, Yongkang Zhou, Jiancai Ye, Yu Wang, Guohao Dai

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

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

32. 2026 · ASPLOS

    SpecProto: A Parallelizing Compiler for Speculative Decoding of Large Protocol Buffers Data

    Zhijie Wang, Chales Hong, Dhruv Parmar, Shengbo Ma, Zhijia Zhao, Qidong Zhao, Xu Liu

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

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

33. 2026 · ASPLOS

    Static Analysis for Efficient Streaming Tokenization

    Angela W. Li, Yudi Yang, Konstantinos Mamouras

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

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

34. 2026 · ASPLOS

    Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism

    Gina Sohn, Genghan Zhang, Konstantin Hossfeld, Jungwoo Kim, Nathan Sobotka, Nathan Zhang, Olivia Hsu, Kunle Olukotun

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

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

35. 2026 · ASPLOS

    SuperOffload: Unleashing the Power of Large-Scale LLM Training on Superchips

    Xinyu Lian, Masahiro Tanaka, Olatunji Ruwase, Minjia Zhang

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

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

36. 2026 · ASPLOS

    SwiftSpec: Disaggregated Speculative Decoding and Fused Kernels for Low-Latency LLM Inference

    Ziyi Zhang, Ziheng Jiang, Chengquan Jiang, Menghan Yu, Size Zheng, Haibin Lin, Xin Liu, Henry Hoffmann

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

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

37. 2026 · ASPLOS

    Syno: Structured Synthesis for Neural Operators

    Yongqi Zhuo, Zhengyuan Su, Chenggang Zhao, Mingyu Gao

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

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

38. 2026 · ASPLOS

    T EE M³: Core-Independent and Cooperating Trusted Execution Environments

    Nils Asmussen, Sebastian Haas, Carsten Weinhold, Nicholas Gordon, Stephan Gerhold, Friedrich Pauls, Nilanjana Das, Michael Roitzsch

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

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

39. 2026 · ASPLOS

    T-Control: An Efficient Dynamic Tensor Rematerialization System for DNN Training

    Zehua Wang, Junmin Xiao, Xiaochuan Deng, Huibing Wang, Hui Ma, Mingyi Li, Yunfei Pang, Guangming Tan

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

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

40. 2026 · ASPLOS

    TPLA: Tensor Parallel Latent Attention for Efficient Disaggregated Prefill & Decode Inference

    Xiaojuan Tang, Fanxu Meng, Pingzhi Tang, Yuxuan Wang, Di Yin, Xing Sun, Muhan Zhang

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

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

41. 2026 · ASPLOS

    Taming the Long-Tail: Efficient Reasoning RL Training with Adaptive Drafter

    Qinghao Hu, Shang Yang, Junxian Guo, Xiaozhe Yao, Yujun Lin, Yuxian Gu, Han Cai, Chuang Gan, Ana Klimovic, Song Han

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

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

42. 2026 · ASPLOS

    TempGraph: An Efficient Chain-driven Temporal Graph Computing Framework on the GPU

    Jin Zhao, Qian Wang, Ligang He, Yu Zhang, Sheng Di, Bingsheng He, Xinlei Wang, Hui Yu, Hao Qi, Longlong Lin, Linchen Yu, Xiaofei Liao, Hai Jin

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

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

43. 2026 · ASPLOS

    TetriServe: Efficiently Serving Mixed DiT Workloads

    Runyu Lu, Shiqi He, Wenxuan Tan, Shenggui Li, Ruofan Wu, Jeff J. Ma, Ang Chen, Mosharaf Chowdhury

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

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

44. 2026 · ASPLOS

    The Configuration Wall: Characterization and Elimination of Accelerator Configuration Overhead

    Josse Van Delm, Anton Lydike, Joren Dumoulin, Jonas Crols, Xiaoling Yi, Ryan Antonio, Jackson Woodruff, Tobias Grosser, Marian Verhelst

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

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

45. 2026 · ASPLOS

    TiNA: Tiered Network Buffer Architecture for Fast Networking in Chiplet-based CPUs

    Siddharth Agarwal, Tianchen Wang, Jinghan Huang, Saksham Agarwal, Nan Sung Kim

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

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

46. 2026 · ASPLOS

    TierX: A Simulation Framework for Multi-tier BCI System Design Evaluation and Exploration

    Seunghyun Song, Yeongwoo Jang, Daye Jung, Kyungsoo Park, Donghan Kim, Gwangjin Kim, Hunjun Lee, Jerald Yoo, Jangwoo Kim

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

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

47. 2026 · ASPLOS

    Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation

    Yaoyao Ding, Bohan Hou, Xiao Zhang, Allan Lin, Tianqi Chen, Cody Yu Hao, Yida Wang, Gennady Pekhimenko

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

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

48. 2026 · ASPLOS

    Toasty: Speeding Up Network I/O with Cache-Warm Buffers

    Preeti Preeti, Nitish Bhat, Ashwin Kumar, Mythili Vutukuru

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

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

49. 2026 · ASPLOS

    Towards High-Goodput LLM Serving with Prefill-decode Multiplexing

    Weihao Cui, Yukang Chen, Han Zhao, Ziyi Xu, Xiaoze Fan, Xusheng Chen, Yangjie Zhou, Shixuan Sun, Bingsheng He, Quan Chen

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

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

50. 2026 · ASPLOS

    TreeVQA: A Tree-Structured Execution Framework for Shot Reduction in Variational Quantum Algorithms

    Yuewen Hou, Dhanvi Bharadwaj, Gokul Ravi

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

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

51. 2026 · ASPLOS

    Trinity: Three-Dimensional Tensor Program Optimization via Tile-level Equality Saturation

    Jaehyeong Park, Youngchan Kim, Haechan An, Gieun Jeong, Jeehoon Kang, Dongsu Han

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

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

52. 2026 · ASPLOS

    Triton-Sanitizer: A Fast and Device-Agnostic Memory Sanitizer for Triton with Rich Diagnostic Context

    Hao Wu, Qidong Zhao, Songqing Chen, Yang Chen, Yueming Hao, Tony CW Liu, Sijia Chen, Adnan Aziz, Keren Zhou

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

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

53. 2026 · ASPLOS

    Trust-V: Toward Secure and Reliable Storage for Trusted Execution Environments

    SeungKyun Han, Jiyeon Yang, Jinsoo Jang

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

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

54. 2026 · ASPLOS

    Understanding Query Optimization Bugs in Graph Database Systems

    Zhongxing Yu, Yuyu Chen

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

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

55. 2026 · ASPLOS

    Understanding and Optimizing Database Pushdown on Disaggregated Storage

    Hua Zhang, Xiao Li, Yuebin Bai, Ming Liu

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

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

56. 2026 · ASPLOS

    Voyager: Input-Adaptive Algebraic Transformations for High-Performance Graph Neural Networks

    Yangjie Zhou, Wenting Shen, Jingwen Leng, Shuwen Lu, Zihan Liu, Weihao Cui, Zhendong Zhang, Wencong Xiao, Baole Ai, Wei Lin, Deze Zeng, Yun Liang, Quan Chen, Ning Liu, Minyi Guo

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

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

57. 2026 · ASPLOS

    Wave : Leveraging Architecture Observation for Privacy-Preserving Model Oversight

    Haoxuan Xu, Chen Gong, Beijie Liu, Haizhong Zheng, Beidi Chen, Mengyuan Li

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

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

58. 2026 · ASPLOS

    Wave: Offloading Resource Management to SmartNIC Cores

    Jack Tigar Humphries, Neel Natu, Kostis Kaffes, Stanko Novaković, Paul Turner, Henry M. Levy, David Culler, Christos Kozyrakis

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

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

59. 2026 · ASPLOS

    Wax: Optimizing Data Center Applications With Stale Profile

    Tawhid Bhuiyan, Sumya Hoque, Angelica Moreira, Tanvir Ahmed Khan

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

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

60. 2026 · ASPLOS

    WorksetEnclave: Towards Optimizing Cold Starts in Confidential Serverless with Workset-Based Enclave Restore

    Xiaolong Yan, Qihang Zhou, Zisen Wan, Feifan Qian, Wentao Yao, Weijuan Zhang, Xiaoqi Jia

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

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

61. 2026 · ASPLOS

    XY-Serve: End-to-End Versatile Production Serving for Dynamic LLM Workloads

    Mingcong Song, Xinru Tang, Fengfan Hou, Jing Li, Wei Wei, Yipeng Ma, Runqiu Xiao, Hongjie Si, Dingcheng Jiang, Shouyi Yin, Yang Hu, Guoping Long

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

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

62. 2026 · ASPLOS

    Z ip S erv : Fast and Memory-Efficient LLM Inference with Hardware-Aware Lossless Compression

    Ruibo FAN, Xiangrui YU, Xinglin Pan, Zeyu Li, Weile Luo, QIANG WANG, Wei Wang, Xiaowen Chu

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

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

63. 2026 · ASPLOS

    cuJSON: A Highly Parallel JSON Parser for GPUs

    Ashkan Vedadi Gargary, Soroosh Safari Loaliyan, Zhijia Zhao

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

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

64. 2026 · ASPLOS

    gShare: Efficient GPU Sharing with Aggressive Scheduling in Multi-tenant FaaS platform

    Yanan Yang, Zhengxiong Jiang, Meiqi Zhu, Hongqiang Xu, Yujun Wang, Liang Li, Jiansong zhang, Jie Wu

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

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

65. 2026 · ASPLOS

    iSwitch: QEC on Demand via In-Situ Encoding of Bare Qubits for Ion Trap Architectures

    Keyi Yin, Xiang Fang, Zhuo Chen, David Hayes, Eneet Kaur, Reza Nejabati, Hartmut Haeffner, Wes Campbell, Eric Hudson, Jens Palsberg, Travis Humble, Yufei Ding

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

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

66. 2026 · ASPLOS

    oFFN: Outlier and Neuron-aware Structured FFN for Fast yet Accurate LLM Inference

    Geunsoo Song, Hoeseok Yang, Youngmin Yi

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

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

67. 2026 · ASPLOS

    vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures

    Anatole Lefort, Julian Pritzi, Nicolò Carpentieri, David Schall, Simon Dittrich, Soham Chakraborty, Nicolai Oswald, Pramod Bhatotia

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

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

68. 2026 · ASPLOS

    λ-trim: Optimizing Function Initialization in Serverless Applications With Cost-driven Debloating

    Spyros Pavlatos, Xuting Liu, Yuhao Liu, Vincent Liu

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

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