ASPLOS

2021–2025 確定版

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

ASPLOS 公式サイト ↗

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

2022 · 80 papers

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

2022 · ASPLOS
A full-stack search technique for domain optimized deep learning accelerators
Dan Zhang, Safeen Huda, Ebrahim Songhori, Kartik Prabhu, Quoc Le, Anna Goldie, Azalia Mirhoseini
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
A one-for-all and o ( v log( v ))-cost solution for parallel merge style operations on sorted key-value arrays
Bangyan Wang, Lei Deng, Fei Sun, Guohao Dai, Liu Liu, Yu Wang, Yuan Xie
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
A tree clock data structure for causal orderings in concurrent executions
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
AStitch: enabling a new multi-dimensional optimization space for memory-intensive ML training and inference on modern SIMT architectures
Zhen Zheng, Xuanda Yang, Pengzhan Zhao, Guoping Long, Kai Zhu, Feiwen Zhu, Wenyi Zhao, Xiaoyong Liu, Jun Yang, Jidong Zhai, Shuaiwen Leon Song, Wei Lin
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Adelie: continuous address space layout re-randomization for Linux drivers
Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone, Binoy Ravindran
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Astraea: towards QoS-aware and resource-efficient multi-stage GPU services
Wei Zhang, Quan Chen, Kaihua Fu, Ningxin Zheng, Zhiyi Huang, Jingwen Leng, Minyi Guo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
BiSon-e: a lightweight and high-performance accelerator for narrow integer linear algebra computing on the edge
Enrico Reggiani, Cristóbal Ramírez Lazo, Roger Figueras Bagué, Adrián Cristal, Mauro Olivieri, Osman Sabri Unsal
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Breaking the computation and communication abstraction barrier in distributed machine learning workloads
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
CARAT CAKE: replacing paging via compiler/kernel cooperation
Brian Suchy, Souradip Ghosh, Drew Kersnar, Siyuan Chai, Zhen Huang, Aaron Nelson, Michael Cuevas, Alex Bernat, Gaurav Chaudhary, Nikos Hardavellas, Simone Campanoni, Peter Dinda
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
CRISP: critical slice prefetching
Heiner Litz, Grant Ayers, Parthasarathy Ranganathan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
CirFix: automatically repairing defects in hardware design code
Hammad Ahmad, Yu Huang, Westley Weimer
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Client-optimized algorithms and acceleration for encrypted compute offloading
McKenzie van der Hagen, Brandon Lucia
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Clio: a hardware-software co-designed disaggregated memory system
Zhiyuan Guo, Yizhou Shan, Xuhao Luo, Yutong Huang, Yiying Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
CoolEdge: hotspot-relievable warm water cooling for energy-efficient edge datacenters
Qiangyu Pei, Shutong Chen, Qixia Zhang, Xinhui Zhu, Fangming Liu, Ziyang Jia, Yishuo Wang, Yongjie Yuan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Creating concise and efficient dynamic analyses with ALDA
Xiang Cheng, David Devecsery
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
CryoWire: wire-driven microarchitecture designs for cryogenic computing
Dongmoon Min, Yujin Chung, Ilkwon Byun, Junpyo Kim, Jangwoo Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
DAGguise: mitigating memory timing side channels
Peter W. Deutsch, Yuheng Yang, Thomas Bourgeat, Jules Drean, Joel S. Emer, Mengjia Yan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
DOTA: detect and omit weak attentions for scalable transformer acceleration
Zheng Qu, Liu Liu, Fengbin Tu, Zhaodong Chen, Yufei Ding, Yuan Xie
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Debugging in the brave new world of reconfigurable hardware
Jiacheng Ma, Gefei Zuo, Kevin Loughlin, Haoyang Zhang, Andrew Quinn, Baris Kasikci
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Domain specific run time optimization for software data planes
Sebastiano Miano, Alireza Sanaee, Fulvio Risso, Gábor Rétvári, Gianni Antichi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
EXAMINER: automatically locating inconsistent instructions between real devices and CPU emulators for ARM
Muhui Jiang, Tianyi Xu, Yajin Zhou, Yufeng Hu, Ming Zhong, Lei Wu, Xiapu Luo, Kui Ren
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Eavesdropping user credentials via GPU side channels on smartphones
Boyuan Yang, Ruirong Chen, Kai Huang, Jun Yang, Wei Gao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Efficient and scalable core multiplexing with M³v
Nils Asmussen, Sebastian Haas, Carsten Weinhold, Till Miemietz, Michael Roitzsch
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Efficiently detecting concurrency bugs in persistent memory programs
Zhangyu Chen, Yu Hua, Yongle Zhang, Luochangqi Ding
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Enzian: an open, general, CPU/FPGA platform for systems software research
David Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Martsenko, Reto Achermann, Gustavo Alonso, Timothy Roscoe
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Every walk’s a hit: making page walks single-access cache hits
Chang Hyun Park, Ilias Vougioukas, Andreas Sandberg, David Black-Schaffer
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
FINGERS: exploiting fine-grained parallelism in graph mining accelerators
Qihang Chen, Boyu Tian, Mingyu Gao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
FaaSFlow: enable efficient workflow execution for function-as-a-service
Zijun Li, Yushi Liu, Linsong Guo, Quan Chen, Jiagan Cheng, Wenli Zheng, Minyi Guo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Finding missed optimizations through the lens of dead code elimination
Theodoros Theodoridis, Manuel Rigger, Zhendong Su
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
FlexDriver: a network driver for your accelerator
Haggai Eran, Maxim Fudim, Gabi Malka, Gal Shalom, Noam Cohen, Amit Hermony, Dotan Levi, Liran Liss, Mark Silberstein
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
FlexOS: towards flexible OS isolation
Hugo Lefeuvre, Vlad-Andrei Bădoiu, Alexander Jung, Stefan Lucian Teodorescu, Sebastian Rauch, Felipe Huici, Costin Raiciu, Pierre Olivier
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
GPM: leveraging persistent memory from a GPU
Shweta Pandey, Aditya K Kamath, Arkaprava Basu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
GPUReplay: a 50-KB GPU stack for client ML
Heejin Park, Felix Xiaozhu Lin
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
GenStore: a high-performance in-storage processing system for genome sequence analysis
Nika Mansouri Ghiasi, Jisung Park, Harun Mustafa, Jeremie Kim, Ataberk Olgun, Arvid Gollwitzer, Damla Senol Cali, Can Firtina, Haiyu Mao, Nour Almadhoun Alserr, Rachata Ausavarungnirun, Nandita Vijaykumar, Mohammed Alser, Onur Mutlu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
HAMMER: boosting fidelity of noisy Quantum circuits by exploiting Hamming behavior of erroneous outcomes
Swamit Tannu, Poulami Das, Ramin Ayanzadeh, Moinuddin Qureshi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair
Qian Zhang, Jiyuan Wang, Guoqing Harry Xu, Miryung Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
INFless: a native serverless system for low-latency, high-throughput inference
Yanan Yang, Laiping Zhao, Yiming Li, Huanyu Zhang, Jie Li, Mingyang Zhao, Xingzhen Chen, Keqiu Li
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
IOCost: block IO control for containers in datacenters
Tejun Heo, Dan Schatzberg, Andrew Newell, Song Liu, Saravanan Dhakshinamurthy, Iyswarya Narayanan, Josef Bacik, Chris Mason, Chunqiang Tang, Dimitrios Skarlatos
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
IceBreaker: warming serverless functions better with heterogeneity
Rohan Basu Roy, Tirthak Patel, Devesh Tiwari
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Invisible bits: hiding secret messages in SRAM’s analog domain
Jubayer Mahmod, Matthew Hicks
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
JSONSki: streaming semi-structured data with bit-parallel fast-forwarding
Lin Jiang, Zhijia Zhao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
LILLIPUT: a lightweight low-latency lookup-table decoder for near-term Quantum error correction
Poulami Das, Aditya Locharla, Cody Jones
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Memory-harvesting VMs in cloud platforms
Alexander Fuerst, Stanko Novaković, Íñigo Goiri, Gohar Irfan Chaudhry, Prateek Sharma, Kapil Arya, Kevin Broas, Eugene Bak, Mehmet Iyigun, Ricardo Bianchini
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
MineSweeper: a “clean sweep” for drop-in use-after-free prevention
Márton Erdős, Sam Ainsworth, Timothy M. Jones
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
NASPipe: high performance and reproducible pipeline parallel supernet training via causal synchronous parallelism
Shixiong Zhao, Fanxin Li, Xusheng Chen, Tianxiang Shen, Li Chen, Sen Wang, Nicholas Zhang, Cheng Li, Heming Cui
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
NVAlloc: rethinking heap metadata management in persistent memory allocators
Zheng Dang, Shuibing He, Peiyi Hong, Zhenxin Li, Xuechen Zhang, Xian-He Sun, Gang Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
One size does not fit all: security hardening of MIPS embedded systems via static binary debloating for shared libraries
Haotian Zhang, Mengfei Ren, Yu Lei, Jiang Ming
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
PLD: fast FPGA compilation to make reconfigurable acceleration compatible with modern incremental refinement software development
Yuanlong Xiao, Eric Micallef, Andrew Butt, Matthew Hofmann, Marc Alston, Matthew Goldsmith, Andrew Merczynski-Hait, André DeHon
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Parallel virtualized memory translation with nested elastic cuckoo page tables
Jovan Stojkovic, Dimitrios Skarlatos, Apostolos Kokolis, Tianyin Xu, Josep Torrellas
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Path-sensitive and alias-aware typestate analysis for detecting OS bugs
Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels
Gushu Li, Anbang Wu, Yunong Shi, Ali Javadi-Abhari, Yufei Ding, Yuan Xie
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Pinned loads: taming speculative loads in secure processors
Zirui Neil Zhao, Houxiang Ji, Adam Morrison, Darko Marinov, Josep Torrellas
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
ProSE: the architecture and design of a protein discovery engine
Eyes Robson, Ceyu Xu, Lisa Wu Wills
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Protecting adaptive sampling from information leakage on low-power sensors
Tejas Kannan, Henry Hoffmann
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
QUEST: systematically approximating Quantum circuits for higher output fidelity
Tirthak Patel, Ed Younis, Costin Iancu, Wibe de Jong, Devesh Tiwari
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
REVAMP: a systematic framework for heterogeneous CGRA realization
Thilini Kaushalya Bandara, Dhananjaya Wijerathne, Tulika Mitra, Li-Shiuan Peh
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
RSSD: defend against ransomware with hardware-isolated network-storage codesign and post-attack analysis
Benjamin Reidys, Peng Liu, Jian Huang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Randomized row-swap: mitigating Row Hammer by breaking spatial correlation between aggressor and victim rows
Gururaj Saileshwar, Bolin Wang, Moinuddin Qureshi, Prashant J. Nair
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
RecShard: statistical feature-based memory optimization for industry-scale neural recommendation
Geet Sethi, Bilge Acun, Niket Agarwal, Christos Kozyrakis, Caroline Trippel, Carole-Jean Wu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Revizor: testing black-box CPUs against speculation contracts
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
SOL: safe on-node learning in cloud platforms
Yawen Wang, Daniel Crankshaw, Neeraja J. Yadwadkar, Daniel Berger, Christos Kozyrakis, Ricardo Bianchini
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
SRAM has no chill: exploiting power domain separation to steal on-chip secrets
Jubayer Mahmod, Matthew Hicks
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Serverless computing on heterogeneous computers
Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
ShEF: shielded enclaves for cloud FPGAs
Mark Zhao, Mingyu Gao, Christos Kozyrakis
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Software-defined address mapping: a case on 3D memory
Jialiang Zhang, Michael Swift, Jing (Jane) Li
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
SparseCore: stream ISA and processor specialization for sparse computation
Gengyu Rao, Jingji Chen, Jason Yik, Xuehai Qian
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Suppressing ZZ crosstalk of Quantum computers through pulse and scheduling co-optimization
Lei Xie, Jidong Zhai, ZhenXing Zhang, Jonathan Allcock, Shengyu Zhang, Yi-Cong Zheng
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
TMO: transparent memory offloading in datacenters
Johannes Weiner, Niket Agarwal, Dan Schatzberg, Leon Yang, Hao Wang, Blaise Sanouillet, Bikash Sharma, Tejun Heo, Mayank Jain, Chunqiang Tang, Dimitrios Skarlatos
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
TaskStream: accelerating task-parallel workloads by recovering program structure
Vidushi Dadu, Tony Nowatzki
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Taurus: a data plane architecture for per-packet ML
Tushar Swamy, Alexander Rucker, Muhammad Shahbaz, Ishan Gaur, Kunle Olukotun
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Temporal and SFQ pulse-streams encoding for area-efficient superconducting accelerators
Patricia Gonzalez-Guerrero, Meriam Gay Bautista, Darren Lyles, George Michelogiannakis
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
The benefits of general-purpose on-NIC memory
Boris Pismenny, Liran Liss, Adam Morrison, Dan Tsafrir
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Tree traversal synthesis using domain-specific symbolic compilation
Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodik
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Understanding and exploiting optimal function inlining
Theodoros Theodoridis, Tobias Grosser, Zhendong Su
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
VELTAIR: towards high-performance multi-tenant deep learning services via adaptive compilation and scheduling
Zihan Liu, Jingwen Leng, Zhihui Zhang, Quan Chen, Chao Li, Minyi Guo
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
ValueExpert: exploring value patterns in GPU-accelerated applications
Keren Zhou, Yueming Hao, John Mellor-Crummey, Xiaozhu Meng, Xu Liu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Vector instruction selection for digital signal processors using program synthesis
Maaz Bin Safeer Ahmad, Alexander J. Root, Andrew Adams, Shoaib Kamil, Alvin Cheung
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
ViK: practical mitigation of temporal memory safety violations through object ID inspection
Haehyun Cho, Jinbum Park, Adam Oest, Tiffany Bao, Ruoyu Wang, Yan Shoshitaishvili, Adam Doupé, Gail-Joon Ahn
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Who goes first? detecting go concurrency bugs via message reordering
Ziheng Liu, Shihao Xia, Yu Liang, Linhai Song, Hong Hu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2022 · ASPLOS
Yashme: detecting persistency races
Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）