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
8-bit Transformer Inference and Fine-tuning for Edge Accelerators
Jeffrey Yu, Kartik Prabhu, Yonatan Urman, Robert M. Radway, Eric Han, Priyanka Raina
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
A Fault-Tolerant Million Qubit-Scale Distributed Quantum Computer
Junpyo Kim, Dongmoon Min, Jungmin Cho, Hyeonseong Jeong, Ilkwon Byun, Junhyuk Choi, Juwon Hong, Jangwoo Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
A Journey of a 1,000 Kernels Begins with a Single Step: A Retrospective of Deep Learning on GPUs
Michael Davies, Ian McDougall, Selvaraj Anandaraj, Deep Machchhar, Rithik Jain, Karthikeyan Sankaralingam
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
A Midsummer Night’s Tree: Efficient and High Performance Secure SCM
Samuel Thomas, Kidus Workneh, Jac McCarty, Joseph Izraelevitz, Tamara Lehman, R. Iris Bahar
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
A Quantitative Analysis and Guidelines of Data Streaming Accelerator in Modern Intel Xeon Scalable Processors
Reese Kuper, Ipoom Jeong, Yifan Yuan, Ren Wang, Narayan Ranganathan, Nikhil Rao, Jiayu Hu, Sanjay Kumar, Philip Lantz, Nam Sung Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
A shared compilation stack for distributed-memory parallelism in stencil DSLs
George Bisbas, Anton Lydike, Emilien Bauer, Nick Brown, Mathieu Fehr, Lawrence Mitchell, Gabriel Rodriguez-Canal, Maurice Jamieson, Paul H. J. Kelly, Michel Steuwer, Tobias Grosser
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
ACES: Accelerating Sparse Matrix Multiplication with Adaptive Execution Flow and Concurrency-Aware Cache Optimizations
Xiaoyang Lu, Boyu Long, Xiaoming Chen, Yinhe Han, Xian-He Sun
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
AERO: Adaptive Erase Operation for Improving Lifetime and Performance of Modern NAND Flash-Based SSDs
Sungjun Cho, Beomjun Kim, Hyunuk Cho, Gyeongseob Seo, Onur Mutlu, Myungsuk Kim, Jisung Park
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
AUDIBLE: A Convolution-Based Resource Allocator for Oversubscribing Burstable Virtual Machines
Seyedali Jokar Jandaghi, Kaveh Mahdaviani, Amirhossein Mirhosseini, Sameh Elnikety, Cristiana Amza, Bianca Schroeder
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Accelerating Multi-Scalar Multiplication for Efficient Zero Knowledge Proofs with Multi-GPU Systems
Zhuoran Ji, Zhiyuan Zhang, Jiming Xu, Lei Ju
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Accurate Disassembly of Complex Binaries Without Use of Compiler Metadata
Soumyakant Priyadarshan, Huan Nguyen, R. Sekar
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Achieving Near-Zero Read Retry for 3D NAND Flash Memory
Min Ye, Qiao Li, Yina Lv, Jie Zhang, Tianyu Ren, Daniel Wen, Tei-Wei Kuo, Chun Jason Xue
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
AdaPipe: Optimizing Pipeline Parallelism with Adaptive Recomputation and Partitioning
Zhenbo Sun, Huanqi Cao, Yuanwei Wang, Guanyu Feng, Shengqi Chen, Haojie Wang, Wenguang Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Amanda: Unified Instrumentation Framework for Deep Neural Networks
Yue Guan, Yuxian Qiu, Jingwen Leng, Fan Yang, Shuo Yu, Yunxin Liu, Yu Feng, Yuhao Zhu, Lidong Zhou, Yun Liang, Chen Zhang, Chao Li, Minyi Guo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
An Encoding Scheme to Enlarge Practical DNA Storage Capacity by Reducing Primer-Payload Collisions
Yixun Wei, Bingzhe Li, David H. C. Du
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Atalanta: A Bit is Worth a “Thousand” Tensor Values
Alberto Delmas Lascorz, Mostafa Mahmoud, Ali Hadi Zadeh, Milos Nikolic, Kareem Ibrahim, Christina Giannoula, Ameer Abdelhadi, Andreas Moshovos
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
AttAcc! Unleashing the Power of PIM for Batched Transformer-based Generative Model Inference
Jaehyun Park, Jaewan Choi, Kwanhee Kyung, Michael Jaemin Kim, Yongsuk Kwon, Nam Sung Kim, Jung Ho Ahn
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors
Samuel Thomas, James Bornholt
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations
Michael Flanders, Reshabh K Sharma, Alexandra E. Michael, Dan Grossman, David Kohlbrenner
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
BVAP: Energy and Memory Efficient Automata Processing for Regular Expressions with Bounded Repetitions
Ziyuan Wen, Lingkun Kong, Alexis Le Glaunec, Konstantinos Mamouras, Kaiyuan Yang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
BaCO: A Fast and Portable Bayesian Compiler Optimization Framework
Erik Orm Hellsten, Artur Souza, Johannes Lenfers, Rubens Lacouture, Olivia Hsu, Adel Ejjeh, Fredrik Kjolstad, Michel Steuwer, Kunle Olukotun, Luigi Nardi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
BeeZip: Towards An Organized and Scalable Architecture for Data Compression
Ruihao Gao, Zhichun Li, Guangming Tan, Xueqi Li
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
BitPacker: Enabling High Arithmetic Efficiency in Fully Homomorphic Encryption Accelerators
Nikola Samardzic, Daniel Sanchez
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Boost Linear Algebra Computation Performance via Efficient VNNI Utilization
Hao Zhou, Qiukun Han, Heng Shi, Yalin Zhang, Jianguo Yao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
BypassD: Enabling fast userspace access to shared SSDs
Sujay Yadalam, Chloe Alverti, Vasileios Karakostas, Jayneel Gandhi, Michael Swift
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
C4CAM: A Compiler for CAM-based In-memory Accelerators
Hamid Farzaneh, Joao Paulo Cardoso De Lima, Mengyuan Li, Asif Ali Khan, Xiaobo Sharon Hu, Jeronimo Castrillon
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
CC-NIC: a Cache-Coherent Interface to the NIC
Henry N. Schuh, Arvind Krishnamurthy, David Culler, Henry M. Levy, Luigi Rizzo, Samira Khan, Brent E. Stephens
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
CIM-MLC: A Multi-level Compilation Stack for Computing-In-Memory Accelerators
Songyun Qu, Shixin Zhao, Bing Li, Yintao He, Xuyi Cai, Lei Zhang, Ying Wang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
CMC: Video Transformer Acceleration via CODEC Assisted Matrix Condensing
Zhuoran Song, Chunyu Qi, Fangxin Liu, Naifeng Jing, Xiaoyao Liang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines
Yuxuan Liu, Tianqiang Xu, Zeyu Mi, Zhichao Hua, Binyu Zang, Haibo Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Cirisci, Constantin Enea, Andreas Pavlogiannis
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Carat: Unlocking Value-Level Parallelism for Multiplier-Free GEMMs
Zhewen Pan, Joshua San Miguel, Di Wu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Centauri: Enabling Efficient Scheduling for Communication-Computation Overlap in Large Model Training via Communication Partitioning
Chang Chen, Xiuhong Li, Qianchao Zhu, Jiangfei Duan, Peng Sun, Xingcheng Zhang, Chao Yang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Characterizing Power Management Opportunities for LLMs in the Cloud
Pratyush Patel, Esha Choukse, Chaojie Zhang, Íñigo Goiri, Brijesh Warrier, Nithish Mahalingam, Ricardo Bianchini
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Characterizing a Memory Allocator at Warehouse Scale
Zhuangzhuang Zhou, Vaibhav Gogte, Nilay Vaish, Chris Kennelly, Patrick Xia, Svilen Kanev, Tipp Moseley, Christina Delimitrou, Parthasarathy Ranganathan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Cocco: Hardware-Mapping Co-Exploration towards Memory Capacity-Communication Optimization
Zhanhong Tan, Zijian Zhu, Kaisheng Ma
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
CodeCrunch: Improving Serverless Performance via Function Compression and Cost-Aware Warmup Location Optimization
Rohan Basu Roy, Tirthak Patel, Rohan Garg, Devesh Tiwari
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Codesign of quantum error-correcting codes and modular chiplets in the presence of defects
Sophia Fuhui Lin, Joshua Viszlai, Kaitlin N. Smith, Gokul Subramanian Ravi, Charles Yuan, Frederic T. Chong, Benjamin J. Brown
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Compiling Loop-Based Nested Parallelism for Irregular Workloads
Yian Su, Mike Rainey, Nick Wanninger, Nadharm Dhiantravan, Jasper Liang, Umut A. Acar, Peter Dinda, Simone Campanoni
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety
Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert Norton, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
CrossPrefetch: Accelerating I/O Prefetching for Modern Storage
Shaleen Garg, Jian Zhang, Rekha Pitchumani, Manish Parashar, Bing Xie, Sudarsun Kannan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
DREAM: A Dynamic Scheduler for Dynamic Real-time Multi-model ML Workloads
Seah Kim, Hyoukjun Kwon, Jinook Song, Jihyuck Jo, Yu-Hsin Chen, Liangzhen Lai, Vikas Chandra
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
DTC-SpMM: Bridging the Gap in Accelerating General Sparse Matrix Multiplication with Tensor Cores
Ruibo Fan, Wei Wang, Xiaowen Chu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
DataFlower: Exploiting the Data-flow Paradigm for Serverless Workflow Orchestration
Zijun Li, Chuhao Xu, Quan Chen, Jieru Zhao, Chen Chen, Minyi Guo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Design of Novel Analog Compute Paradigms with Ark
Yu-Neng Wang, Glenn Cowan, Ulrich Rührmair, Sara Achour
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Direct Memory Translation for Virtualized Clouds
Jiyuan Zhang, Weiwei Jia, Siyuan Chai, Peizhe Liu, Jongyul Kim, Tianyin Xu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Dr. DNA: Combating Silent Data Corruptions in Deep Learning using Distribution of Neuron Activations
Dongning Ma, Fred Lin, Alban Desmaison, Joel Coburn, Daniel Moore, Sriram Sankar, Xun Jiao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
EVT: Accelerating Deep Learning Training with Epilogue Visitor Tree
Zhaodong Chen, Andrew Kerr, Richard Cai, Jack Kosaian, Haicheng Wu, Yufei Ding, Yuan Xie
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
EagleEye: Nanosatellite constellation design for high-coverage, high-resolution sensing
Zhuo Cheng, Bradley Denby, Kyle McCleary, Brandon Lucia
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Efficient Microsecond-scale Blind Scheduling with Tiny Quanta
Zhihong Luo, Sam Son, Dev Bali, Emmanuel Amaro, Amy Ousterhout, Sylvia Ratnasamy, Scott Shenker
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Eliminating Storage Management Overhead of Deduplication over SSD Arrays Through a Hardware/Software Co-Design
Yuhong Wen, Xiaogang Zhao, You Zhou, Tong Zhang, Shangjun Yang, Changsheng Xie, Fei Wu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Elivagar: Efficient Quantum Circuit Search for Classification
Sashwat Anagolum, Narges Alavisamani, Poulami Das, Moinuddin Qureshi, Yunong Shi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Energy Efficient Convolutions with Temporal Arithmetic
Rhys Gretsch, Peiyang Song, Advait Madhavan, Jeremy Lau, Timothy Sherwood
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Energy-Adaptive Buffering for Efficient, Responsive, and Persistent Batteryless Systems
Harrison Williams, Matthew Hicks
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Enforcing C/C++ Type and Scope at Runtime for Control-Flow and Data-Flow Integrity
Mohannad Ismail, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min, Wenjie Xiong
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Everywhere All at Once: Co-Location Attacks on Public Cloud FaaS
Zirui Neil Zhao, Adam Morrison, Christopher W. Fletcher, Josep Torrellas
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
ExeGPT: Constraint-Aware Resource Scheduling for LLM Inference
Hyungjun Oh, Kihong Kim, Jaemin Kim, Sungkyun Kim, Junyeol Lee, Du-seong Chang, Jiwon Seo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Expanding Datacenter Capacity with DVFS Boosting: A safe and scalable deployment experience
Leonardo Piga, Iyswarya Narayanan, Aditya Sundarrajan, Matt Skach, Qingyuan Deng, Biswadip Maity, Manoj Chakkaravarthy, Alison Huang, Abhishek Dhanotia, Parth Malani
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures
Fabian Ritter, Sebastian Hack
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Explainable-DSE: An Agile and Explainable Exploration of Efficient HW/SW Codesigns of Deep Learning Accelerators Using Bottleneck Analysis
Shail Dave, Tony Nowatzki, Aviral Shrivastava
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Exploiting Human Color Discrimination for Memory- and Energy-Efficient Image Encoding in Virtual Reality
Nisarg Ujjainkar, Ethan Shahan, Kenneth Chen, Budmonde Duinkharjav, Qi Sun, Yuhao Zhu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Exploiting the Regular Structure of Modern Quantum Architectures for Compiling and Optimizing Programs with Permutable Operators
Yuwei Jin, Fei Hua, Yanhao Chen, Ari Hayes, Chi Zhang, Eddy Z. Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
FEASTA: A Flexible and Efficient Accelerator for Sparse Tensor Algebra in Machine Learning
Kai Zhong, Zhenhua Zhu, Guohao Dai, Hongyi Wang, Xinhao Yang, Haoyu Zhang, Jin Si, Qiuli Mao, Shulin Zeng, Ke Hong, Genghan Zhang, Huazhong Yang, Yu Wang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware
Puzhuo Liu, Yaowen Zheng, Chengnian Sun, Chuan Qin, Dongliang Fang, Mingdong Liu, Limin Sun
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
FOCAL: A First-Order Carbon Model to Assess Processor Sustainability
Lieven Eeckhout
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
FPGA Technology Mapping Using Sketch-Guided Program Synthesis
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
FUYAO: DPU-enabled Direct Data Transfer for Serverless Computing
Guowei Liu, Laiping Zhao, Yiming Li, Zhaolin Duan, Sheng Chen, Yitao Hu, Zhiyuan Su, Wenyu Qu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
FaaSGraph: Enabling Scalable, Efficient, and Cost-Effective Graph Processing with Serverless Computing
Yushi Liu, Shixuan Sun, Zijun Li, Quan Chen, Sen Gao, Bingsheng He, Chao Li, Minyi Guo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
FaaSMem: Improving Memory Efficiency of Serverless Computing with Memory Pool Architecture
Chuhao Xu, Yiyu Liu, Zijun Li, Quan Chen, Han Zhao, Deze Zeng, Qian Peng, Xueqi Wu, Haifeng Zhao, Senbo Fu, Minyi Guo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Fast Instruction Selection for Fast Digital Signal Processing
Alexander J Root, Maaz Bin Safeer Ahmad, Dillon Sharlet, Andrew Adams, Shoaib Kamil, Jonathan Ragan-Kelley
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Felix: Optimizing Tensor Programs with Gradient Descent
Yifan Zhao, Hashim Sharif, Vikram Adve, Sasa Misailovic
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding
Yuhao Liu, Shize Che, Junyu Zhou, Yunong Shi, Gushu Li
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Flame: A Centralized Cache Controller for Serverless Computing
Yanan Yang, Laiping Zhao, Yiming Li, Shihao Wu, Yuechan Hao, Yuchi Ma, Keqiu Li
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo, Yash Anand, Kazuyuki Takayama, Heather Miller
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Fractal: Joint Multi-Level Sparse Pattern Tuning of Accuracy and Performance for DNN Pruning
Yue Guan, Changming Yu, Yangjie Zhou, Jingwen Leng, Chao Li, Minyi Guo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
FreePart: Hardening Data Processing Software via Framework-based Partitioning and Isolation
Ali Ahad, Gang Wang, Chung Hwan Kim, Suman Jana, Zhiqiang Lin, Yonghwi Kwon
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
GIANTSAN: Efficient Memory Sanitization with Segment Folding
Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
GMLake: Efficient and Transparent GPU Memory Defragmentation for Large-scale DNN Training with Virtual Memory Stitching
Cong Guo, Rui Zhang, Jiale Xu, Jingwen Leng, Zihan Liu, Ziyu Huang, Minyi Guo, Hao Wu, Shouren Zhao, Junping Zhao, Ke Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
GMT: GPU Orchestrated Memory Tiering for the Big Data Era
Chia-Hao Chang, Jihoon Han, Anand Sivasubramaniam, Vikram Sharma Mailthody, Zaid Qureshi, Wen-Mei Hwu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
GPU-based Private Information Retrieval for On-Device Machine Learning Inference
Maximilian Lam, Jeff Johnson, Wenjie Xiong, Kiwan Maeng, Udit Gupta, Yang Li, Liangzhen Lai, Ilias Leontiadis, Minsoo Rhu, Hsien-Hsin S. Lee, Vijay Janapa Reddi, Gu-Yeon Wei, David Brooks, Edward Suh
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
GSCore: Efficient Radiance Field Rendering via Architectural Support for 3D Gaussian Splatting
Junseo Lee, Seokwon Lee, Jungi Lee, Junyong Park, Jaewoong Sim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Getting a Handle on Unmanaged Memory
Nick Wanninger, Tommy McMichen, Simone Campanoni, Peter Dinda
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Going Green for Less Green: Optimizing the Cost of Reducing Cloud Carbon Emissions
Walid A. Hanafy, Qianlin Liang, Noman Bashir, Abel Souza, David Irwin, Prashant Shenoy
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Grafu: Unleashing the Full Potential of Future Value Computation for Out-of-core Synchronous Graph Processing
Tsun-Yu Yang, Cale England, Yi Li, Bingzhe Li, Ming-Chang Yang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Greybox Fuzzing for Concurrency Testing
Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
HIDA: A Hierarchical Dataflow Compiler for High-Level Synthesis
Hanchen Ye, Hyegang Jun, Deming Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
HIR: An MLIR-based Intermediate Representation for Hardware Accelerator Description
Kingshuk Majumder, Uday Bondhugula
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Harp: Leveraging Quasi-Sequential Characteristics to Accelerate Sequence-to-Graph Mapping of Long Reads
Yichi Zhang, Dibei Chen, Gang Zeng, Jianfeng Zhu, Zhaoshi Li, Longlong Chen, Shaojun Wei, Leibo Liu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Hector: An Efficient Programming and Compilation Framework for Implementing Relational Graph Neural Networks in GPU Architectures
Kun Wu, Mert Hidayetoğlu, Xiang Song, Sitao Huang, Da Zheng, Israt Nisa, Wen-Mei Hwu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Heet: Accelerating Elastic Training in Heterogeneous Deep Learning Clusters
Zizhao Mo, Huanle Xu, Chengzhong Xu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures
Akash Kothari, Abdul Rafae Noor, Muchen Xu, Hassam Uddin, Dhruv Baronia, Stefanos Baziotis, Vikram Adve, Charith Mendis, Sudipta Sengupta
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
IANUS: Integrated Accelerator based on NPU-PIM Unified Memory System
Minseok Seo, Xuan Truong Nguyen, Seok Joong Hwang, Yongkee Kwon, Guhyun Kim, Chanwook Park, Ilkon Kim, Jaehan Park, Jeongbin Kim, Woojae Shin, Jongsoon Won, Haerang Choi, Kyuyoung Kim, Daehan Kwon, Chunseok Jeong, Sangheon Lee, Yongseok Choi, Wooseok Byun, Seungcheol Baek, Hyuk-Jae Lee, John Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
In-Storage Domain-Specific Acceleration for Serverless Computing
Rohan Mahapatra, Soroush Ghodrati, Byung Hoon Ahn, Sean Kinzer, Shu-Ting Wang, Hanyang Xu, Lavanya Karthikeyan, Hardik Sharma, Amir Yazdanbakhsh, Mohammad Alian, Hadi Esmaeilzadeh
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
JUNO: Optimizing High-Dimensional Approximate Nearest Neighbour Search with Sparsity-Aware Algorithm and Ray-Tracing Core Mapping
Zihan Liu, Wentao Ni, Jingwen Leng, Yu Feng, Cong Guo, Quan Chen, Chao Li, Minyi Guo, Yuhao Zhu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Kaleidoscope: Precise Invariant-Guided Pointer Analysis
Tapti Palit, Pedro Fonseca
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Kimbap: A Node-Property Map System for Distributed Graph Analytics
Hochan Lee, Roshan Dathathri, Keshav Pingali
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud
Zirui Neil Zhao, Adam Morrison, Christopher W. Fletcher, Josep Torrellas
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
LazyBarrier: Reconstructing Android IO Stack for Barrier-Enabled Flash Storage
Yuanyi Zhang, Heng Zhang, Wenbin Cao, Xing He, Daejun Park, Jinyoung Choi, SungJun Park
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2024 · ASPLOS
LazyDP: Co-Designing Algorithm-Software for Scalable Training of Differentially Private Recommendation Models
Juntaek Lim, Youngeun Kwon, Ranggi Hwang, Kiwan Maeng, Edward Suh, Minsoo Rhu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）