ASPLOS

2022–2026 LIVE

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

ASPLOS 公式サイト ↗

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

2024 · 193 papers

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

2024 · ASPLOS
Lifting Micro-Update Models from RTL for Formal Security Analysis
Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks
Yingjie Li, Ruiyang Chen, Minhan Lou, Berardi Sensale-Rodriguez, Weilu Gao, Cunxi Yu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Lightweight Fault Isolation: Practical, Efficient, and Secure Software Sandboxing
Zachary Yedidia
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection
Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Limoncello: Prefetchers for Scale
Akanksha Jain, Hannah Lin, Carlos Villavieja, Baris Kasikci, Chris Kennelly, Milad Hashemi, Parthasarathy Ranganathan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Longnail: High-Level Synthesis of Portable Custom Instruction Set Extensions for RISC-V Processors from Descriptions in the Open-Source CoreDSL Language
Julian Oppermann, Brindusa Mihaela Damian-Kosterhon, Florian Meisel, Tammo Mürmann, Eyck Jentzsch, Andreas Koch
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Loupe: Driving the Development of OS Compatibility Layers
Hugo Lefeuvre, Gaulthier Gain, Vlad-Andrei Bădoiu, Daniel Dinca, Vlad-Radu Schiller, Costin Raiciu, Felipe Huici, Pierre Olivier
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
MAGIS: Memory Optimization via Coordinated Graph Transformation and Scheduling for DNN
Renze Chen, Zijian Ding, Size Zheng, Chengrui Zhang, Jingwen Leng, Xuanzhe Liu, Yun Liang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
MECH: Multi-Entry Communication Highway for Superconducting Quantum Chiplets
Hezi Zhang, Keyi Yin, Anbang Wu, Hassan Shapourian, Alireza Shabani, Yufei Ding
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
METAL: Caching Multi-level Indexes in Domain-Specific Architectures
Anagha Molakalmur Anil Kumar, Aditya Prasanna, Jonathan Balkind, Arrvindh Shriraman
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism
Mahyar Emami, Sahand Kashani, Keisuke Kamahori, Mohammad Sepehr Pourghannad, Ritik Raj, James R. Larus
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 東京大学
2024 · ASPLOS
Marple: Scalable Spike Sorting for Untethered Brain-Machine Interfacing
Eugene Sha, Andy Liu, Kareem Ibrahim, Mostafa Mahmoud, Christina Giannoula, Ameer Abdelhadi, Andreas Moshovos
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
MaxK-GNN: Extremely Fast GPU Kernel Design for Accelerating Graph Neural Networks Training
Hongwu Peng, Xi Xie, Kaustubh Shivdikar, Md Amit Hasan, Jiahui Zhao, Shaoyi Huang, Omer Khan, David Kaeli, Caiwen Ding
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
MemSnap μCheckpoints: A Data Single Level Store for Fearless Persistence
Emil Tsalapatis, Ryan Hancock, Rakeeb Hossain, Ali José Mashtizadeh
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Merlin: Multi-tier Optimization of eBPF Code for Performance and Compactness
Jinsong Mao, Hailun Ding, Juan Zhai, Shiqing Ma
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
MicroVSA: An Ultra-Lightweight Vector Symbolic Architecture-based Classifier Library for Always-On Inference on Tiny Microcontrollers
Nuntipat Narkthong, Shijin Duan, Shaolei Ren, Xiaolin Xu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
MiniMalloc: A Lightweight Memory Allocator for Hardware-Accelerated Machine Learning
Michael D. Moffitt
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
More Apps, Faster Hot-Launch on Mobile Devices via Fore/Background-aware GC-Swap Co-design
Jiacheng Huang, Yunmo Zhang, Junqiao Qiu, Yu Liang, Rachata Ausavarungnirun, Qingan Li, Chun Jason Xue
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification
Siwei Tan, Debin Xiang, Liqiang Lu, Junlin Lu, Qiuping Jiang, Mingshuai Chen, Jianwei Yin
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
MulBERRY: Enabling Bit-Error Robustness for Energy-Efficient Multi-Agent Autonomous Systems
Zishen Wan, Nandhini Chandramoorthy, Karthik Swaminathan, Pin-Yu Chen, Kshitij Bhardwaj, Vijay Janapa Reddi, Arijit Raychowdhury
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System
Jia-Ju Bai, Hao-Xuan Song, Shi-Min Hu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
NDPipe: Exploiting Near-data Processing for Scalable Inference and Continuous Training in Photo Storage
Jungwoo Kim, Seonggyun Oh, Jaeha Kung, Yeseong Kim, Sungjin Lee
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
NetRen: Service Migration-Driven Network Renascence with Synthesizing Updated Configuration
Rongxin Han, Jingyu Wang, Qi Qi, Haifeng Sun, Chaowei Xu, Zhaoyang Wan, Zirui Zhuang, Yichuan Yu, Jianxin Liao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
NeuPIMs: NPU-PIM Heterogeneous Acceleration for Batched LLM Inferencing
Guseul Heo, Sangyeop Lee, Jaehong Cho, Hyunmin Choi, Sanghyeon Lee, Hyungkyu Ham, Gwangsun Kim, Divya Mahajan, Jongse Park
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
ORIANNA: An Accelerator Generation Framework for Optimization-based Robotic Applications
Yuhui Hao, Yiming Gan, Bo Yu, Qiang Liu, Yinhe Han, Zishen Wan, Shaoshan Liu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
One Gate Scheme to Rule Them All: Introducing a Complex Yet Reduced Instruction Set for Quantum Computing
Jianxin Chen, Dawei Ding, Weiyuan Gong, Cupjin Huang, Qi Ye
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
OnePerc: A Randomness-aware Compiler for Photonic Quantum Computing
Hezi Zhang, Jixuan Ruan, Hassan Shapourian, Ramana Rao Kompella, Yufei Ding
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Optimal Kernel Orchestration for Tensor Programs with Korch
Muyan Hu, Ashwin Venkatram, Shreyashri Biswas, Balamurugan Marimuthu, Bohan Hou, Gabriele Oliaro, Haojie Wang, Liyan Zheng, Xupeng Miao, Jidong Zhai, Zhihao Jia
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Optimizing Deep Learning Inference via Global Analysis and Tensor Expressions
Chunwei Xia, Jiacheng Zhao, Qianqi Sun, Zheng Wang, Yuan Wen, Teng Yu, Xiaobing Feng, Huimin Cui
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Optimizing Dynamic-Shape Neural Networks on Accelerators via On-the-Fly Micro-Kernel Polymerization
Feng Yu, Guangli Li, Jiacheng Zhao, Huimin Cui, Xiaobing Feng, Jingling Xue
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
PATHFINDER: Practical Real-Time Learning for Data Prefetching
Lin Jia, James Patrick Mcmahon, Sumanth Gudaparthi, Shreyas Singh, Rajeev Balasubramonian
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
PDIP: Priority Directed Instruction Prefetching
Bhargav Reddy Godala, Sankara Prasad Ramesh, Gilles A. Pokam, Jared Stark, Andre Seznec, Dean Tullsen, David I. August
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
PIM-DL: Expanding the Applicability of Commodity DRAM-PIMs for Deep Learning via Algorithm-System Co-Optimization
Cong Li, Zhe Zhou, Yang Wang, Fan Yang, Ting Cao, Mao Yang, Yun Liang, Guangyu Sun
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
PIM-STM: Software Transactional Memory for Processing-In-Memory Systems
André Lopes, Daniel Castro, Paolo Romano
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Palantir: Hierarchical Similarity Detection for Post-Deduplication Delta Compression
Hongming Huang, Peng Wang, Qiang Su, Hong Xu, Chun Jason Xue, André Brinkmann
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
Hosein Yavarzadeh, Archit Agarwal, Max Christman, Christina Garman, Daniel Genkin, Andrew Kwong, Daniel Moghimi, Deian Stefan, Kazem Taram, Dean Tullsen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Pentimento: Data Remanence in Cloud FPGAs
Colin Drewes, Olivia Weng, Andres Meza, Alric Althoff, David Kohlbrenner, Ryan Kastner, Dustin Richmond
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Performance-aware Scale Analysis with Reserve for Homomorphic Encryption
Yongwoo Lee, Seonyoung Cheon, Dongkwan Kim, Dongyoon Lee, Hanjun Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Plankton: Reconciling Binary Code and Debug Information
Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Predict; Don't React for Enabling Efficient Fine-Grain DVFS in GPUs
Srikant Bharadwaj, Shomit Das, Kaushik Mazumdar, Bradford M. Beckmann, Stephen Kosonocky
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
PrimePar: Efficient Spatial-temporal Tensor Partitioning for Large Transformer Model Training
Haoran Wang, Lei Wang, Haobo Xu, Ying Wang, Yuming Li, Yinhe Han
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Promatch: Extending the Reach of Real-Time Quantum Error Correction with Adaptive Predecoding
Narges Alavisamani, Suhas Vittal, Ramin Ayanzadeh, Poulami Das, Moinuddin Qureshi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Proteus: A High-Throughput Inference-Serving System with Accuracy Scaling
Sohaib Ahmad, Hui Guan, Brian D. Friedman, Thomas Williams, Ramesh K. Sitaraman, Thomas Woo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
ProxiML: Building Machine Learning Classifiers for Photonic Quantum Computing
Aditya Ranjan, Tirthak Patel, Daniel Silver, Harshitta Gandhi, Devesh Tiwari
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
PyTorch 2: Faster Machine Learning Through Dynamic Python Bytecode Transformation and Graph Compilation
Jason Ansel, Edward Yang, Horace He, Natalia Gimelshein, Animesh Jain, Michael Voznesensky, Bin Bao, Peter Bell, David Berard, Evgeni Burovski, Geeta Chauhan, Anjali Chourdia, Will Constable, Alban Desmaison, Zachary DeVito, Elias Ellison, Will Feng, Jiong Gong, Michael Gschwind, Brian Hirsh, Sherlock Huang, Kshiteej Kalambarkar, Laurent Kirsch, Michael Lazos, Mario Lezcano, Yanbo Liang, Jason Liang, Yinghai Lu, C. K. Luk, Bert Maher, Yunjie Pan, Christian Puhrsch, Matthias Reso, Mark Saroufim, Marcos Yukio Siraichi, Helen Suk, Shunting Zhang, Michael Suo, Phil Tillet, Xu Zhao, Eikan Wang, Keren Zhou, Richard Zou, Xiaodong Wang, Ajit Mathews, William Wen, Gregory Chanan, Peng Wu, Soumith Chintala
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Pythia: Compiler-Guided Defense Against Non-Control Data Attacks
Sharjeel Khan, Bodhisatwa Chatterjee, Santosh Pande
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method
Siwei Tan, Liqiang Lu, Hanyu Zhang, Jia Yu, Congliang Lang, Yongheng Shang, Xinkui Zhao, Mingshuai Chen, Yun Liang, Jianwei Yin
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
RAP: Resource-aware Automated GPU Sharing for Multi-GPU Recommendation Model Training and Input Preprocessing
Zheng Wang, Yuke Wang, Jiaqi Deng, Da Zheng, Ang Li, Yufei Ding
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
RECom: A Compiler Approach to Accelerating Recommendation Model Inference with Massive Embedding Columns
Zaifeng Pan, Zhen Zheng, Feng Zhang, Ruofan Wu, Hao Liang, Dalin Wang, Xiafei Qiu, Junjie Bai, Wei Lin, Xiaoyong Du
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
RPG 2 : Robust Profile-Guided Runtime Prefetch Generation
Yuxuan Zhang, Nathan Sobotka, Soyoon Park, Saba Jamilan, Tanvir Ahmed Khan, Baris Kasikci, Gilles A Pokam, Heiner Litz, Joseph Devietti
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
RTL-Repair: Fast Symbolic Repair of Hardware Design Code
Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolić, Koushik Sen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
RainbowCake: Mitigating Cold-starts in Serverless with Layer-wise Container Caching and Sharing
Hanfei Yu, Rohan Basu Roy, Christian Fontenot, Devesh Tiwari, Jian Li, Hong Zhang, Hao Wang, Seung-Jong Park
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Red-QAOA: Efficient Variational Optimization through Circuit Reduction
Meng Wang, Bo Fang, Ang Li, Prashant J. Nair
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Rubix: Reducing the Overhead of Secure Rowhammer Mitigations via Randomized Line-to-Row Mapping
Anish Saxena, Saurav Mathur, Moinuddin Qureshi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting
Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, Theo Drane
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SEVeriFast: Minimizing the root of trust for fast startup of SEV microVMs
Benjamin Holmes, Jason Waterman, Dan Williams
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis
Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SUIT: Secure Undervolting with Instruction Traps
Jonas Juffinger, Stepan Kalinin, Daniel Gruss, Frank Mueller
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Scaling Up Memory Disaggregated Applications with SMART
Feng Ren, Mingxing Zhang, Kang Chen, Huaxia Xia, Zuoning Chen, Yongwei Wu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
ShapleyIQ: Influence Quantification by Shapley Values for Performance Debugging of Microservices
Ye Li, Jian Tan, Bin Wu, Xiao He, Feifei Li
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Skip It: Take Control of Your Cache!
Shashank Anand, Michal Friedman, Michael Giardino, Gustavo Alonso
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Slapo: A Schedule Language for Progressive Optimization of Large Deep Learning Model Training
Hongzheng Chen, Cody Hao Yu, Shuai Zheng, Zhen Zhang, Zhiru Zhang, Yida Wang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Sleuth: A Trace-Based Root Cause Analysis System for Large-Scale Microservices with Graph Neural Networks
Yu Gan, Guiyang Liu, Xin Zhang, Qi Zhou, Jiesheng Wu, Jiangwei Jiang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SlimSLAM: An Adaptive Runtime for Visual-Inertial Simultaneous Localization and Mapping
Armand Behroozi, Yuxiang Chen, Vlad Fruchter, Lavanya Subramanian, Sriseshan Srikanth, Scott Mahlke
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SmartMem: Layout Transformation Elimination and Adaptation for Efficient DNN Execution on Mobile
Wei Niu, Md Musfiqur Rahman Sanim, Zhihao Shu, Jiexiong Guan, Xipeng Shen, Miao Yin, Gagan Agrawal, Bin Ren
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SoCFlow: Efficient and Scalable DNN Training on SoC-Clustered Edge Servers
Daliang Xu, Mengwei Xu, Chiheng Lou, Li Zhang, Gang Huang, Xin Jin, Xuanzhe Liu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SoD 2 : Statically Optimizing Dynamic Deep Neural Network Execution
Wei Niu, Gagan Agrawal, Bin Ren
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SpecInfer: Accelerating Large Language Model Serving with Tree-based Speculative Inference and Verification
Xupeng Miao, Gabriele Oliaro, Zhihao Zhang, Xinhao Cheng, Zeyu Wang, Zhengxin Zhang, Rae Ying Yee Wong, Alan Zhu, Lijie Yang, Xiaoxiang Shi, Chunan Shi, Zhuoming Chen, Daiyaan Arfeen, Reyna Abhyankar, Zhihao Jia
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SpecPIM: Accelerating Speculative Inference on PIM-Enabled System via Architecture-Dataflow Co-Exploration
Cong Li, Zhe Zhou, Size Zheng, Jiaxi Zhang, Yun Liang, Guangyu Sun
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
SpotServe: Serving Generative Large Language Models on Preemptible Instances
Xupeng Miao, Chunan Shi, Jiangfei Duan, Xiaoli Xi, Dahua Lin, Bin Cui, Zhihao Jia
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Supporting Descendants in SIMD-Accelerated JSONPath
Mateusz Gienieczko, Filip Murlak, Charles Paperman
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
T3: Transparent Tracking & Triggering for Fine-grained Overlap of Compute & Collectives
Suchita Pati, Shaizeen Aga, Mahzabeen Islam, Nuwan Jayasena, Matthew D. Sinclair
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
TAPA-CS: Enabling Scalable Accelerator Design on Distributed HBM-FPGAs
Neha Prakriya, Yuze Chi, Suhail Basalama, Linghao Song, Jason Cong
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
TAROT: A CXL SmartNIC-Based Defense Against Multi-bit Errors by Row-Hammer Attacks
Chihun Song, Michael Jaemin Kim, Tianchen Wang, Houxiang Ji, Jinghan Huang, Ipoom Jeong, Jaehyun Park, Hwayong Nam, Minbok Wi, Jung Ho Ahn, Nam Sung Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
TCCL: Discovering Better Communication Paths for PCIe GPU Clusters
Heehoon Kim, Junyeol Ryu, Jaejin Lee
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
TGLite: A Lightweight Programming Framework for Continuous-Time Temporal Graph Neural Networks
Yufeng Wang, Charith Mendis
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Tandem Processor: Grappling with Emerging Operators in Neural Networks
Soroush Ghodrati, Sean Kinzer, Hanyang Xu, Rohan Mahapatra, Yoonsung Kim, Byung Hoon Ahn, Dong Kai Wang, Lavanya Karthikeyan, Amir Yazdanbakhsh, Jongse Park, Nam Sung Kim, Hadi Esmaeilzadeh
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Thesios: Synthesizing Accurate Counterfactual I/O Traces from I/O Samples
Phitchaya Mangpo Phothilimthana, Saurabh Kadekodi, Soroush Ghodrati, Selene Moon, Martin Maas
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
TinyForge: A Design Space Exploration to Advance Energy and Silicon Area Trade-offs in tinyML Compute Architectures with Custom Latch Arrays
Massimo Giordano, Rohan Doshi, Qianyun Lu, Boris Murmann
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
TrackFM: Far-out Compiler Support for a Far Memory World
Brian R. Tauro, Brian Suchy, Simone Campanoni, Peter Dinda, Kyle C. Hale
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Training Job Placement in Clusters with Statistical In-Network Aggregation
Bohan Zhao, Wei Xu, Shuo Liu, Yang Tian, Qiaoling Wang, Wenfei Wu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Two-Face: Combining Collective and One-Sided Communication for Efficient Distributed SpMM
Charles Block, Gerasimos Gerogiannis, Charith Mendis, Ariful Azad, Josep Torrellas
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
UBFuzz: Finding Bugs in Sanitizer Implementations
Shaohua Li, Zhendong Su
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
VarSaw: Application-tailored Measurement Error Mitigation for Variational Quantum Algorithms
Siddharth Dangwal, Gokul Subramanian Ravi, Poulami Das, Kaitlin N. Smith, Jonathan Mark Baker, Frederic T. Chong
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Veil: A Protected Services Framework for Confidential Virtual Machines
Adil Ahmad, Botong Ou, Congyu Liu, Xiaokuan Zhang, Pedro Fonseca
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor
Zhenyang Dai, Shuang Liu, Vilhelm Sjoberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
WASP: Workload-Aware Self-Replicating Page-Tables for NUMA Servers
Hongliang Qu, Zhibin Yu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
What You Trace is What You Get: Dynamic Stack-Layout Recovery for Binary Recompilation
Fabian Parzefall, Chinmay Deshpande, Felicitas Hetzelt, Michael Franz
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
ZENO: A Type-based Optimization Framework for Zero Knowledge Neural Network Inference
Boyuan Feng, Zheng Wang, Yuke Wang, Shu Yang, Yufei Ding
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Zoomie: A Software-like Debugging Tool for FPGAs
Tianrui Wei, Kevin Laeufer, Katie Lim, Jerry Zhao, Koushik Sen, Jonathan Balkind, Krste Asanovic
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
ngAP: Non-blocking Large-scale Automata Processing on GPUs
Tianao Ge, Tong Zhang, Hongyuan Liu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
sIOPMP: Scalable and Efficient I/O Protection for TEEs
Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Wenbin Zheng, Siqi Zhao, Haibo Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
λFS: A Scalable and Elastic Distributed File System Metadata Service using Serverless Functions
Benjamin Carver, Runzhou Han, Jingyuan Zhang, Mai Zheng, Yue Cheng
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）