ASPLOS

2021–2025 確定版

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

ASPLOS 公式サイト ↗

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

2023 · 128 papers

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

2023 · ASPLOS
A Generic Service to Provide In-Network Aggregation for Key-Value Streams
Yongchao He, Wenfei Wu, Yanfang Le, Ming Liu, ChonLam Lao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
A Prediction System Service
Zhizhou Zhang, Alvin Oliver Glova, Timothy Sherwood, Jonathan Balkind
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
ABNDP: Co-optimizing Data Access and Load Balance in Near-Data Processing
Boyu Tian, Qihang Chen, Mingyu Gao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
APEX: A Framework for Automated Processing Element Design Space Exploration using Frequent Subgraph Analysis
Jackson Melchert, Kathleen Feng, Caleb Donovick, Ross Daly, Ritvik Sharma, Clark Barrett, Mark A. Horowitz, Pat Hanrahan, Priyanka Raina
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
AQUATOPE: QoS-and-Uncertainty-Aware Resource Management for Multi-stage Serverless Workflows
Zhuangzhuang Zhou, Yanqi Zhang, Christina Delimitrou
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Accelerating Sparse Data Orchestration via Dynamic Reflexive Tiling
Toluwanimi O. Odemuyiwa, Hadi Asghari-Moghaddam, Michael Pellauer, Kartik Hegde, Po-An Tsai, Neal C. Crago, Aamer Jaleel, John D. Owens, Edgar Solomonik, Joel S. Emer, Christopher W. Fletcher
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Achieving Sub-second Pairwise Query over Evolving Graphs
Hongtao Chen, Mingxing Zhang, Ke Yang, Kang Chen, Albert Zomaya, Yongwei Wu, Xuehai Qian
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
AfterImage: Leaking Control Flow Data and Tracking Load Operations via the Hardware Prefetcher
Yun Chen, Lingfeng Pei, Trevor E. Carlson
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM
Martin Beck, Koustubha Bhat, Lazar Stričević, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution
Ziming Zhao, Mingyu Wu, Jiawei Tang, Binyu Zang, Zhaoguo Wang, Haibo Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Better Than Worst-Case Decoding for Quantum Error Correction
Gokul Subramanian Ravi, Jonathan M. Baker, Arash Fayyazi, Sophia Fuhui Lin, Ali Javadi-Abhari, Massoud Pedram, Frederic T. Chong
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Betty: Enabling Large-Scale GNN Training with Batch-Level Graph Partitioning
Shuangyan Yang, Minjia Zhang, Wenqian Dong, Dong Li
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Beyond Static Parallel Loops: Supporting Dynamic Task Parallelism on Manycore Architectures with Software-Managed Scratchpad Memories
Lin Cheng, Max Ruttenberg, Dai Cheol Jung, Dustin Richmond, Michael Taylor, Mark Oskin, Christopher Batten
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
CAFQA: A Classical Simulation Bootstrap for Variational Quantum Algorithms
Gokul Subramanian Ravi, Pranav Gokhale, Yi Ding, William Kirby, Kaitlin Smith, Jonathan M. Baker, Peter J. Love, Henry Hoffmann, Kenneth R. Brown, Frederic T. Chong
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
CaQR: A Compiler-Assisted Approach for Qubit Reuse through Dynamic Circuit
Fei Hua, Yuwei Jin, Yanhao Chen, Suhas Vittal, Kevin Krsulich, Lev S. Bishop, John Lapeyre, Ali Javadi-Abhari, Eddy Z. Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
CaT: A Solver-Aided Compiler for Packet-Processing Pipelines
Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Carbon Explorer: A Holistic Framework for Designing Carbon Aware Datacenters
Bilge Acun, Benjamin Lee, Fiodar Kazhamiaka, Kiwan Maeng, Udit Gupta, Manoj Chakkaravarthy, David Brooks, Carole-Jean Wu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Characterizing and Optimizing End-to-End Systems for Private Inference
Karthik Garimella, Zahra Ghodsi, Nandan Kumar Jha, Siddharth Garg, Brandon Reagen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Cohort: Software-Oriented Acceleration for Heterogeneous SoCs
Tianrui Wei, Nazerke Turtayeva, Marcelo Orenes-Vera, Omkar Lonkar, Jonathan Balkind
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
CommonGraph: Graph Analytics on Evolving Data
Mahbod Afarin, Chao Gao, Shafiur Rahman, Nael Abu-Ghazaleh, Rajiv Gupta
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Compilation Consistency Modulo Debug Information
Theodore Luo Wang, Yongqiang Tian, Yiwen Dong, Zhenyang Xu, Chengnian Sun
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Compiling Distributed System Models with PGo
Finn Hackett, Shayan Hosseini, Renato Costa, Matthew Do, Ivan Beschastnikh
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Cooperative Concurrency Control for Write-Intensive Key-Value Workloads
Mark Sutherland, Babak Falsafi, Alexandros Daglis
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Copy-on-Pin: The Missing Piece for Correct Copy-on-Write
David Hildenbrand, Martin Schulz, Nadav Amit
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Coyote: A Compiler for Vectorizing Encrypted Arithmetic Circuits
Raghav Malik, Kabir Sheth, Milind Kulkarni
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
DPACS: Hardware Accelerated Dynamic Neural Network Pruning through Algorithm-Architecture Co-design
Yizhao Gao, Baoheng Zhang, Xiaojuan Qi, Hayden Kwok-Hay So
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Decker: Attack Surface Reduction via On-Demand Code Mapping
Chris Porter, Sharjeel Khan, Santosh Pande
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
DecoMine: A Compilation-Based Graph Pattern Mining System with Pattern Decomposition
Jingji Chen, Xuehai Qian
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
DeepUM: Tensor Migration and Prefetching in Unified Memory
Jaehoon Jung, Jinpyo Kim, Jaejin Lee
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
DefT: Boosting Scalability of Deformable Convolution Operations on GPUs
Edward Hanson, Mark Horton, Hai (Helen) Li, Yiran Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Disaggregated RAID Storage in Modern Datacenters
Junyi Shu, Ruidong Zhu, Yun Ma, Gang Huang, Hong Mei, Xuanzhe Liu, Xin Jin
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Ditto: End-to-End Application Cloning for Networked Cloud Services
Mingyu Liang, Yu Gan, Yueying Li, Carlos Torres, Abhishek Dhanotia, Mahesh Ketkar, Christina Delimitrou
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
DrGPUM: Guiding Memory Optimization for GPU-Accelerated Applications
Mao Lin, Keren Zhou, Pengfei Su
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
EVStore: Storage and Caching Capabilities for Scaling Embedding Tables in Deep Recommendation Systems
Daniar H. Kurniawan, Ruipu Wang, Kahfi S. Zulkifli, Fandi A. Wiranata, John Bent, Ymir Vigfusson, Haryadi S. Gunawi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Ecovisor: A Virtual Energy System for Carbon-Efficient Applications
Abel Souza, Noman Bashir, Jorge Murillo, Walid Hanafy, Qianlin Liang, David Irwin, Prashant Shenoy
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Efficient Compactions between Storage Tiers with PrismDB
Ashwini Raina, Jianan Lu, Asaf Cidon, Michael J. Freedman
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Efficient Scheduler Live Update for Linux Kernel with Modularization
Teng Ma, Shanpei Chen, Yihao Wu, Erwei Deng, Zhuo Song, Quan Chen, Minyi Guo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
ElasticFlow: An Elastic Serverless Training Platform for Distributed Deep Learning
Diandian Gu, Yihao Zhao, Yinmin Zhong, Yifan Xiong, Zhenhua Han, Peng Cheng, Fan Yang, Gang Huang, Xin Jin, Xuanzhe Liu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Erms: Efficient Resource Management for Shared Microservices with SLA Guarantees
Shutian Luo, Huanle Xu, Kejiang Ye, Guoyao Xu, Liping Zhang, Jian He, Guodong Yang, Chengzhong Xu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Exit-Less, Isolated, and Shared Access for Virtual Machines
Kenichi Yasukata, Hajime Tazaki, Pierre-Louis Aublin
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
FLAT: An Optimized Dataflow for Mitigating Attention Bottlenecks
Sheng-Chun Kao, Suvinay Subramanian, Gaurav Agrawal, Amir Yazdanbakhsh, Tushar Krishna
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Finding Unstable Code via Compiler-Driven Differential Testing
Shaohua Li, Zhendong Su
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Flexagon: A Multi-dataflow Sparse-Sparse Matrix Multiplication Accelerator for Efficient DNN Processing
Francisco Muñoz-Martínez, Raveesh Garg, Michael Pellauer, José L. Abellán, Manuel E. Acacio, Tushar Krishna
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
FrozenQubits: Boosting Fidelity of QAOA by Skipping Hotspot Nodes
Ramin Ayanzadeh, Narges Alavisamani, Poulami Das, Moinuddin Qureshi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
GPU-Initiated On-Demand High-Throughput Storage Access in the BaM System Architecture
Zaid Qureshi, Vikram Sharma Mailthody, Isaac Gelado, Seungwon Min, Amna Masood, Jeongmin Park, Jinjun Xiong, C. J. Newburn, Dmitri Vainbrand, I-Hsin Chung, Michael Garland, William Dally, Wen-mei Hwu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
GRACE: A Scalable Graph-Based Approach to Accelerating Recommendation Model Inference
Haojie Ye, Sanketh Vedula, Yuhan Chen, Yichen Yang, Alex Bronstein, Ronald Dreslinski, Trevor Mudge, Nishil Talati
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
GZKP: A GPU Accelerated Zero-Knowledge Proof System
Weiliang Ma, Qian Xiong, Xuanhua Shi, Xiaosong Ma, Hai Jin, Haozhao Kuang, Mingyu Gao, Ye Zhang, Haichen Shen, Weifang Hu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Glign: Taming Misaligned Graph Traversals in Concurrent Graph Processing
Xizhe Yin, Zhijia Zhao, Rajiv Gupta
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI
Shravan Narayan, Tal Garfinkel, Mohammadkazem Taram, Joey Rudek, Daniel Moghimi, Evan Johnson, Chris Fallin, Anjo Vahldiek-Oberwagner, Michael LeMay, Ravi Sahita, Dean Tullsen, Deian Stefan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Graphene: An IR for Optimized Tensor Computations on GPUs
Bastian Hagedorn, Bin Fan, Hanfeng Chen, Cris Cecka, Michael Garland, Vinod Grover
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Hacky Racers: Exploiting Instruction-Level Parallelism to Generate Stealthy Fine-Grained Timers
Haocheng Xiao, Sam Ainsworth
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Heron: Automatically Constrained High-Performance Library Generation for Deep Learning Accelerators
Jun Bi, Qi Guo, Xiaqing Li, Yongwei Zhao, Yuanbo Wen, Yuxuan Guo, Enshuai Zhou, Xing Hu, Zidong Du, Ling Li, Huaping Chen, Tianshi Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Hidet: Task-Mapping Programming Paradigm for Deep Learning Tensor Programs
Yaoyao Ding, Cody Hao Yu, Bojian Zheng, Yizhi Liu, Yida Wang, Gennady Pekhimenko
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Homunculus: Auto-Generating Efficient Data-Plane ML Pipelines for Datacenter Networks
Tushar Swamy, Annus Zulfiqar, Luigi Nardi, Muhammad Shahbaz, Kunle Olukotun
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
HuffDuff: Stealing Pruned DNNs from Sparse Accelerators
Dingqing Yang, Prashant J. Nair, Mieszko Lis
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Hyperscale Hardware Optimized Neural Architecture Search
Sheng Li, Garrett Andersen, Tao Chen, Liqun Cheng, Julian Grady, Da Huang, Quoc V. Le, Andrew Li, Xin Li, Yang Li, Chen Liang, Yifeng Lu, Yun Ni, Ruoming Pang, Mingxing Tan, Martin Wicke, Gang Wu, Shengqi Zhu, Parthasarathy Ranganathan, Norman P. Jouppi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
In-Network Aggregation with Transport Transparency for Distributed Training
Shuo Liu, Qiaoling Wang, Junyi Zhang, Wenfei Wu, Qinliang Lin, Yao Liu, Meng Xu, Marco Canini, Ray C. C. Cheung, Jianfei He
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Infinity Stream: Portable and Programmer-Friendly In-/Near-Memory Fusion
Zhengrong Wang, Christopher Liu, Aman Arora, Lizy John, Tony Nowatzki
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Junkyard Computing: Repurposing Discarded Smartphones to Minimize Carbon
Jennifer Switzer, Gabriel Marcano, Ryan Kastner, Pat Pannuto
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
KIT: Testing OS-Level Virtualization for Functional Interference Bugs
Congyu Liu, Sishuai Gong, Pedro Fonseca
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Khuzdul: Efficient and Scalable Distributed Graph Pattern Mining Engine
Jingji Chen, Xuehai Qian
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Kodan: Addressing the Computational Bottleneck in Space
Bradley Denby, Krishna Chintalapudi, Ranveer Chandra, Brandon Lucia, Shadi Noghabi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
LEGO: Empowering Chip-Level Functionality Plug-and-Play for Next-Generation IoT Devices
Chong Zhang, Songfan Li, Yihang Song, Qianhe Meng, Minghua Chen, YanXu Bai, Li Lu, Hongzi Zhu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
LeaFTL: A Learning-Based Flash Translation Layer for Solid-State Drives
Jinghan Sun, Shaobo Li, Yunxin Sun, Chao Sun, Dejan Vucinic, Jian Huang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Lucid: A Non-intrusive, Scalable and Interpretable Scheduler for Deep Learning Training Jobs
Qinghao Hu, Meng Zhang, Peng Sun, Yonggang Wen, Tianwei Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications
Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, Tyler Sorensen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
MP-Rec: Hardware-Software Co-design to Enable Multi-path Recommendation
Samuel Hsia, Udit Gupta, Bilge Acun, Newsha Ardalani, Pan Zhong, Gu-Yeon Wei, David Brooks, Carole-Jean Wu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
MSCCLang: Microsoft Collective Communication Language
Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Mapping Very Large Scale Spiking Neuron Network to Neuromorphic Hardware
Ouwen Jin, Qinghui Xing, Ying Li, Shuiguang Deng, Shuibing He, Gang Pan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Mobius: Fine Tuning Large-Scale Models on Commodity GPU Servers
Yangyang Feng, Minhui Xie, Zijie Tian, Shuo Wang, Youyou Lu, Jiwu Shu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Mosaic Pages: Big TLB Reach with Small Pages
Krishnan Gosakan, Jaehyun Han, William Kuszmaul, Ibrahim N. Mubarek, Nirjhar Mukherjee, Karthik Sriram, Guido Tagliavini, Evan West, Michael A. Bender, Abhishek Bhattacharjee, Alex Conway, Martin Farach-Colton, Jayneel Gandhi, Rob Johnson, Sudarsun Kannan, Donald E. Porter
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers
Jiawei Liu, Jinkun Lin, Fabian Ruffy, Cheng Tan, Jinyang Li, Aurojit Panda, Lingming Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
NUBA: Non-Uniform Bandwidth GPUs
Xia Zhao, Magnus Jahre, Yuhua Tang, Guangda Zhang, Lieven Eeckhout
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Navigating the Dynamic Noise Landscape of Variational Quantum Algorithms with QISMET
Gokul Subramanian Ravi, Kaitlin Smith, Jonathan M. Baker, Tejas Kannan, Nathan Earnest, Ali Javadi-Abhari, Henry Hoffmann, Frederic T. Chong
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
NosWalker: A Decoupled Architecture for Out-of-Core Random Walk Processing
Shuke Wang, Mingxing Zhang, Ke Yang, Kang Chen, Shaonan Ma, Jinlei Jiang, Yongwei Wu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Occamy: Elastically Sharing a SIMD Co-processor across Multiple CPU Cores
Zhongcheng Zhang, Yan Ou, Ying Liu, Chenxi Wang, Yongbin Zhou, Xiaoyu Wang, Yuyang Zhang, Yucheng Ouyang, Jiahao Shan, Ying Wang, Jingling Xue, Huimin Cui, Xiaobing Feng
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Optimus-CC: Efficient Large NLP Model Training with 3D Parallelism Aware Communication Compression
Jaeyong Song, Jinkyu Yim, Jaewon Jung, Hongsun Jang, Hyung-Jin Kim, Youngsok Kim, Jinho Lee
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Overlap Communication with Dependent Computation via Decomposition in Large Deep Learning Models
Shibo Wang, Jinliang Wei, Amit Sabne, Andy Davis, Berkin Ilbeyi, Blake Hechtman, Dehao Chen, Karthik Srinivasa Murthy, Marcello Maggioni, Qiao Zhang, Sameer Kumar, Tongfei Guo, Yuanzhong Xu, Zongwei Zhou
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Persistent Memory Disaggregation for Cloud-Native Relational Databases
Chaoyi Ruan, Yingqiang Zhang, Chao Bi, Xiaosong Ma, Hao Chen, Feifei Li, Xinjun Yang, Cheng Li, Ashraf Aboulnaga, Yinlong Xu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency
Chase Norman, Adwait Godbole, Yatin A. Manerkar
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Pond: CXL-Based Memory Pooling Systems for Cloud Platforms
Huaicheng Li, Daniel S. Berger, Lisa Hsu, Daniel Ernst, Pantea Zardoshti, Stanko Novakovic, Monish Shah, Samir Rajadnya, Scott Lee, Ishwar Agarwal, Mark D. Hill, Marcus Fontoura, Ricardo Bianchini
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Prism: Optimizing Key-Value Store for Modern Heterogeneous Storage Devices
Yongju Song, Wook-Hee Kim, Sumit Kumar Monga, Changwoo Min, Young Ik Eom
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Probabilistic Concurrency Testing for Weak Memory Programs
Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Propeller: A Profile Guided, Relinking Optimizer for Warehouse-Scale Applications
Han Shen, Krzysztof Pszeniczny, Rahman Lavaee, Snehasish Kumar, Sriraman Tallam, Xinliang David Li
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Protect the System Call, Protect (Most of) the World with BASTION
Christopher Jelesnianski, Mohannad Ismail, Yeongjin Jang, Dan Williams, Changwoo Min
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Protecting Data Integrity of Web Applications with Database Constraints Inferred from Application Code
Haochen Huang, Bingyu Shen, Li Zhong, Yuanyuan Zhou
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Qompress: Efficient Compilation for Ququarts Exploiting Partial and Mixed Radix Operations for Communication Reduction
Andrew Litteken, Lennart Maximilian Seifert, Jason Chadwick, Natalia Nottingham, Frederic T. Chong, Jonathan M. Baker
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
RAIZN: Redundant Array of Independent Zoned Namespaces
Thomas Kim, Jekyeom Jeon, Nikhil Arora, Huaicheng Li, Michael Kaminsky, David G. Andersen, Gregory R. Ganger, George Amvrosiadis, Matias Bjørling
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Re-architecting I/O Caches for Emerging Fast Storage Devices
Mohammadamin Ajdari, Pouria Peykani Sani, Amirhossein Moradi, Masoud Khanalizadeh Imani, Amir Hossein Bazkhanei, Hossein Asadi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Reconfigurable Virtual Memory for FPGA-Driven I/O
Joshua Landgraf, Matthew Giordano, Esther Yoon, Christopher J. Rossbach
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
RepCut: Superlinear Parallel RTL Simulation with Replication-Aided Partitioning
Haoyuan Wang, Scott Beamer
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Revisiting Log-Structured Merging for KV Stores in Hybrid Memory Systems
Zhuohui Duan, Jiabo Yao, Haikun Liu, Xiaofei Liao, Hai Jin, Yu Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures
Redha Gouicem, Dennis Sprokholt, Jasper Ruehl, Rodrigo C. O. Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Rosebud: Making FPGA-Accelerated Middlebox Development More Pleasant
Moein Khazraee, Alex Forencich, George C. Papen, Alex C. Snoeren, Aaron Schulman
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
SMAPPIC: Scalable Multi-FPGA Architecture Prototype Platform in the Cloud
Grigory Chirkov, David Wentzlaff
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
SPLENDID: Supporting Parallel LLVM-IR Enhanced Natural Decompilation for Interactive Development
Zujun Tan, Yebin Chon, Michael Kruse, Johannes Doerfert, Ziyang Xu, Brian Homerding, Simone Campanoni, David I. August
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
STI: Turbocharge NLP Inference at the Edge via Elastic Pipelining
Liwei Guo, Wonkyo Choe, Felix Xiaozhu Lin
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Scoped Buffered Persistency Model for GPUs
Shweta Pandey, Aditya K Kamath, Arkaprava Basu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators
Sungsoo Han, Minseong Jang, Jeehoon Kang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2023 · ASPLOS
Sigma: Compiling Einstein Summations to Locality-Aware Dataflow
Tian Zhao, Alexander Rucker, Kunle Olukotun
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）