ASPLOS

2022–2026 LIVE

著者一覧 · 国際会議 · 大学ランキング

ASPLOS 公式サイト ↗

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

2023 · 128 papers

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

2023 · ASPLOS
Simulator Independent Coverage for RTL Hardware Languages
Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolić, Koushik Sen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Skybox: Open-Source Graphic Rendering on Programmable RISC-V GPUs
Blaise Tine, Varun Saxena, Santosh Srivatsan, Joshua R. Simpson, Fadi Alzammar, Liam Cooper, Hyesoon Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Snape: Reliable and Low-Cost Computing with Mixture of Spot and On-Demand VMs
Fangkai Yang, Lu Wang, Zhenyu Xu, Jue Zhang, Liqun Li, Bo Qiao, Camille Couturier, Chetan Bansal, Soumya Ram, Si Qin, Zhen Ma, Íñigo Goiri, Eli Cortez, Terry Yang, Victor Rühle, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Space-Efficient TREC for Enabling Deep Learning on Microcontrollers
Jiesong Liu, Feng Zhang, Jiawei Guan, Hsin-Hsuan Sung, Xiaoguang Guo, Xiaoyong Du, Xipeng Shen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Spada: Accelerating Sparse Matrix Multiplication with Adaptive Dataflow
Zhiyao Li, Jiaxiang Li, Taijie Chen, Dimin Niu, Hongzhong Zheng, Yuan Xie, Mingyu Gao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
SparseTIR: Composable Abstractions for Sparse Compilation in Deep Learning
Zihao Ye, Ruihang Lai, Junru Shao, Tianqi Chen, Luis Ceze
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
SpecPMT: Speculative Logging for Resolving Crash Consistency Overhead of Persistent Memory
Chencheng Ye, Yuanchao Xu, Xipeng Shen, Yan Sha, Xiaofei Liao, Hai Jin, Yan Solihin
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Stepwise Debugging for Hardware Accelerators
Griffin Berlstein, Rachit Nigam, Christophe Gyurgyik, Adrian Sampson
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
TLP: A Deep Learning-Based Cost Model for Tensor Program Tuning
Yi Zhai, Yu Zhang, Shuo Liu, Xiaomeng Chu, Jie Peng, Jianmin Ji, Yanyong Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
TPP: Transparent Page Placement for CXL-Enabled Tiered-Memory
Hasan Al Maruf, Hao Wang, Abhishek Dhanotia, Johannes Weiner, Niket Agarwal, Pallab Bhattacharya, Chris Petersen, Mosharaf Chowdhury, Shobhit Kanaujia, Prakash Chauhan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
TelaMalloc: Efficient On-Chip Memory Allocation for Production Machine Learning Accelerators
Martin Maas, Ulysse Beaugnon, Arun Chauhan, Berkin Ilbeyi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
TensorIR: An Abstraction for Automatic Tensorized Program Optimization
Siyuan Feng, Bohan Hou, Hongyi Jin, Wuwei Lin, Junru Shao, Ruihang Lai, Zihao Ye, Lianmin Zheng, Cody Hao Yu, Yong Yu, Tianqi Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
TeraHeap: Reducing Memory Pressure in Managed Big Data Frameworks
Iacovos G. Kolokasis, Giannos Evdorou, Shoaib Akram, Christos Kozanitis, Anastasios Papagiannis, Foivos S. Zakkak, Polyvios Pratikakis, Angelos Bilas
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
The Sparse Abstract Machine
Olivia Hsu, Maxwell Strange, Ritvik Sharma, Jaeyeon Won, Kunle Olukotun, Joel S. Emer, Mark A. Horowitz, Fredrik Kjølstad
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
TiLT: A Time-Centric Approach for Stream Query Optimization and Parallelization
Anand Jayarajan, Wei Zhao, Yudi Sun, Gennady Pekhimenko
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Towards a Machine Learning-Assisted Kernel with LAKE
Henrique Fingler, Isha Tarte, Hangchen Yu, Ariel Szekely, Bodun Hu, Aditya Akella, Christopher J. Rossbach
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Towards an Adaptable Systems Architecture for Memory Tiering at Warehouse-Scale
Padmapriya Duraisamy, Wei Xu, Scott Hare, Ravi Rajwar, David Culler, Zhiyi Xu, Jianing Fan, Christopher Kennelly, Bill McCloskey, Danijela Mijailovic, Brian Morris, Chiranjit Mukherjee, Jingliang Ren, Greg Thelen, Paul Turner, Carlos Villavieja, Parthasarathy Ranganathan, Amin Vahdat
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Transparent Runtime Change Handling for Android Apps
Zizhan Chen, Zili Shao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Untangle: A Principled Framework to Design Low-Leakage, High-Performance Dynamic Partitioning Schemes
Zirui Neil Zhao, Adam Morrison, Christopher W. Fletcher, Josep Torrellas
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
VClinic: A Portable and Efficient Framework for Fine-Grained Value Profilers
Xin You, Hailong Yang, Kelun Lei, Zhongzhi Luan, Depei Qian
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
VDom: Fast and Unlimited Virtual Domains on Multiple Architectures
Ziqi Yuan, Siyu Hong, Rui Chang, Yajin Zhou, Wenbo Shen, Kui Ren
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Verification of Nondeterministic Quantum Programs
Yuan Feng, Yingte Xu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Vidi: Record Replay for Reconfigurable Hardware
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Baris Kasikci
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
WACO: Learning Workload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor Program
Jaeyeon Won, Charith Mendis, Joel S. Emer, Saman Amarasinghe
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Where Did My Variable Go? Poking Holes in Incomplete Debug Information
Cristian Assaiante, Daniele Cono D'Elia, Giuseppe Antonio Di Luna, Leonardo Querzoni
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
eHDL: Turning eBPF/XDP Programs into Hardware Designs for the NIC
Alessandro Rivitti, Roberto Bifulco, Angelo Tulumello, Marco Bonola, Salvatore Pontarelli
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
uBFT: Microsecond-Scale BFT using Disaggregated Memory
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Antoine Murat, Athanasios Xygkis, Igor Zablotchi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
uGrapher: High-Performance Graph Operator Computation via Unified Abstraction for Graph Neural Networks
Yangjie Zhou, Jingwen Leng, Yaoxu Song, Shuwen Lu, Mian Wang, Chao Li, Minyi Guo, Wenting Shen, Yong Li, Wei Lin, Xiangwen Liu, Hanqing Wu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）