ASPLOS

2021–2025 確定版

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

ASPLOS 公式サイト ↗

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

2021 · 75 papers

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

2021 · ASPLOS
A compiler infrastructure for accelerator generators
Rachit Nigam, Samuel Thomas, Zhijing Li, Adrian Sampson
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
A hierarchical neural model of data prefetching
Zhan Shi, Akanksha Jain, Kevin Swersky, Milad Hashemi, Parthasarathy Ranganathan, Calvin Lin
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Analytical characterization and design space exploration for optimization of CNNs
Rui Li, Yufan Xu, Aravind Sukumaran-Rajam, Atanas Rountev, P. Sadayappan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Automatically detecting and fixing concurrency bugs in go software systems
Ziheng Liu, Shuofei Zhu, Boqin Qin, Hao Chen, Linhai Song
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Autonomous NIC offloads
Boris Pismenny, Haggai Eran, Aviad Yehezkel, Liran Liss, Adam Morrison, Dan Tsafrir
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
BCD deduplication: effective memory compression using partial cache-line deduplication
Sungbo Park, Ingab Kang, Yaebin Moon, Jung Ho Ahn, G. Edward Suh
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
BayesPerf: minimizing performance monitoring errors using Bayesian statistics
Subho S. Banerjee, Saurabh Jha, Zbigniew Kalbarczyk, Ravishankar K. Iyer
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Benchmarking, analysis, and optimization of serverless function snapshots
Dmitrii Ustiugov, Plamen Petrov, Marios Kogias, Edouard Bugnion, Boris Grot
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
C11Tester: a race detector for C/C++ atomics
Weiyu Luo, Brian Demsky
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Clobber-NVM: log less, re-execute more
Yi Xu, Joseph Izraelevitz, Steven Swanson
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Compiler-driven FPGA virtualization with SYNERGY
Joshua Landgraf, Tiffany Yang, Will Lin, Christopher J. Rossbach, Eric Schkufza
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Computing with time: microarchitectural weird machines
Dmitry Evtyushkin, Thomas Benjamin, Jesse Elwell, Jeffrey A. Eitel, Angelo Sapello, Abhrajit Ghosh
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Corundum: statically-enforced persistent memory safety
Morteza Hoseinzadeh, Steven Swanson
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
CubicleOS: a library OS with software componentisation for practical isolation
Vasily A. Sartakov, Lluís Vilanova, Peter Pietzuch
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
CutQC: using small Quantum computers for large Quantum circuit evaluations
Wei Tang, Teague Tomesh, Martin Suchara, Jeffrey Larson, Margaret Martonosi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Dagger: efficient and fast RPCs in cloud microservices with near-memory reconfigurable NICs
Nikita Lazarev, Shaojie Xiang, Neil Adit, Zhiru Zhang, Christina Delimitrou
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Defensive approximation: securing CNNs using approximate computing
Amira Guesmi, Ihsen Alouani, Khaled N. Khasawneh, Mouna Baklouti, Tarek Frikha, Mohamed Abid, Nael Abu-Ghazaleh
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
DiAG: a dataflow-inspired architecture for general-purpose processors
Dong Kai Wang, Nam Sung Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Effective simulation and debugging for a high-level hardware language using software compilers
Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Enclosure: language-based restriction of untrusted libraries
Adrien Ghosn, Marios Kogias, Mathias Payer, James R. Larus, Edouard Bugnion
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
FaasCache: keeping serverless computing alive with greedy-dual caching
Alexander Fuerst, Prateek Sharma
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Fast local page-tables for virtualized NUMA servers with vMitosis
Ashish Panwar, Reto Achermann, Arkaprava Basu, Abhishek Bhattacharjee, K. Gopinath, Jayneel Gandhi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Fast, flexible, and comprehensive bug detection for persistent memory programs
Bang Di, Jiawen Liu, Hao Chen, Dong Li
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Gamma: leveraging Gustavson’s algorithm to accelerate sparse matrix multiplication
Guowei Zhang, Nithya Attaluri, Joel S. Emer, Daniel Sanchez
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
HerQules: securing programs via hardware-enforced message queues
Daming D. Chen, Wen Shih Lim, Mohammad Bakhshalipour, Phillip B. Gibbons, James C. Hoe, Bryan Parno
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Hippocrates: healing persistent memory bugs without doing any harm
Ian Neal, Andrew Quinn, Baris Kasikci
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection
Shengjie Xu, Wei Huang, David Lie
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Incremental CFG patching for binary rewriting
Xiaozhu Meng, Weijie Liu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Jaaru: efficiently model checking persistent memory programs
Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Jamais vu: thwarting microarchitectural replay attacks
Dimitrios Skarlatos, Zirui Neil Zhao, Riccardo Paccagnella, Christopher W. Fletcher, Josep Torrellas
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Judging a type by its pointer: optimizing GPU virtual functions
Mengchi Zhang, Ahmad Alawneh, Timothy G. Rogers
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
KLOCs: kernel-level object contexts for heterogeneous memory systems
Sudarsun Kannan, Yujie Ren, Abhishek Bhattacharjee
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Kard: lightweight data race detection with per-thread memory protection
Adil Ahmad, Sangho Lee, Pedro Fonseca, Byoungyoung Lee
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Language-parametric compiler validation with application to LLVM
Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Roşu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
LifeStream: a high-performance stream processing engine for periodic streams
Anand Jayarajan, Kimberly Hau, Andrew Goodwin, Gennady Pekhimenko
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Logical abstractions for noisy variational Quantum algorithm simulation
Yipeng Huang, Steven Holtzen, Todd Millstein, Guy Van den Broeck, Margaret Martonosi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
MERCI: efficient embedding reduction on commodity hardware via sub-query memoization
Yejin Lee, Seong Hoon Seo, Hyunji Choi, Hyoung Uk Sul, Soosung Kim, Jae W. Lee, Tae Jun Ham
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Mind mappings: enabling efficient algorithm-accelerator mapping space search
Kartik Hegde, Po-An Tsai, Sitao Huang, Vikas Chandra, Angshuman Parashar, Christopher W. Fletcher
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
NOREBA: a compiler-informed non-speculative out-of-order commit processor
Ali Hajiabadi, Andreas Diavastos, Trevor E. Carlson
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Neural architecture search as program transformation exploration
Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
NeuroEngine: a hardware-based event-driven simulation system for advanced brain-inspired computing
Hunjun Lee, Chanmyeong Kim, Yujin Chung, Jangwoo Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Nightcore: efficient and scalable serverless computing for latency-sensitive, interactive microservices
Zhipeng Jia, Emmett Witchel
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Orchestrated trios: compiling for efficient communication in Quantum programs with 3-Qubit gates
Casey Duckering, Jonathan M. Baker, Andrew Litteken, Frederic T. Chong
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
PIBE: practical kernel control-flow hardening with profile-guided indirect branch elimination
Victor Duta, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
PMEM-spec: persistent memory speculation (strict persistency can trump relaxed persistency)
Jungi Jeong, Changhee Jung
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
PMFuzz: test case generation for persistent memory programs
Sihang Liu, Suyash Mahar, Baishakhi Ray, Samira Khan
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
PTEMagnet: fine-grained physical memory reservation for faster page walks in public clouds
Artemiy Margaritov, Dmitrii Ustiugov, Amna Shahab, Boris Grot
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
PacketMill: toward per-Core 100-Gbps networking
Alireza Farshin, Tom Barbette, Amir Roozbeh, Gerald Q. Maguire Jr., Dejan Kostić
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Probabilistic profiling of stateful data planes for adversarial testing
Qiao Kang, Jiarong Xing, Yiming Qiu, Ang Chen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Prolonging 3D NAND SSD lifetime via read latency relaxation
Chun-Yi Liu, Yunju Lee, Myoungsoo Jung, Mahmut Taylan Kandemir, Wonil Choi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Q-VR: system-level design for future mobile collaborative virtual reality
Chenhao Xie, Xie Li, Yang Hu, Huwan Peng, Michael Taylor, Shuaiwen Leon Song
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Qraft: reverse your Quantum circuit and know the correct program output
Tirthak Patel, Devesh Tiwari
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Quantifying the design-space tradeoffs in autonomous drones
Ramyad Hadidi, Bahar Asgari, Sam Jijina, Adriana Amyette, Nima Shoghi, Hyesoon Kim
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
RecSSD: near data processing for solid state drive based recommendation inference
Mark Wilkening, Udit Gupta, Samuel Hsia, Caroline Trippel, Carole-Jean Wu, David Brooks, Gu-Yeon Wei
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Reducing solid-state drive read latency by optimizing read-retry
Jisung Park, Myungsuk Kim, Myoungjun Chun, Lois Orosa, Jihong Kim, Onur Mutlu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Rethinking software runtimes for disaggregated memory
Irina Calciu, M. Talha Imran, Ivan Puddu, Sanidhya Kashyap, Hasan Al Maruf, Onur Mutlu, Aasheesh Kolli
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Rhythmic pixel regions: multi-resolution visual sensing system towards high-precision visual computing at low power
Venkatesh Kodukula, Alexander Shearer, Van Nguyen, Srinivas Lingutla, Yifei Liu, Robert LiKamWa
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Robomorphic computing: a design methodology for domain-specific accelerators parameterized by robot morphology
Sabrina M. Neuman, Brian Plancher, Thomas Bourgeat, Thierry Tambe, Srinivas Devadas, Vijay Janapa Reddi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
SIMDRAM: a framework for bit-serial SIMD processing using DRAM
Nastaran Hajinazar, Geraldo F. Oliveira, Sven Gregorio, João Dinis Ferreira, Nika Mansouri Ghiasi, Minesh Patel, Mohammed Alser, Saugata Ghose, Juan Gómez-Luna, Onur Mutlu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Sage: practical and scalable ML-driven performance debugging in microservices
Yu Gan, Mingyu Liang, Sundar Dev, David Lo, Christina Delimitrou
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Scalable FSM parallelization via path fusion and higher-order speculation
Junqiao Qiu, Xiaofan Sun, Amir Hossein Nodehi Sabet, Zhijia Zhao
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
SherLock: unsupervised synchronization-operation inference
Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Sinan: ML-based and QoS-aware resource management for cloud microservices
Yanqi Zhang, Weizhe Hua, Zhuangzhuang Zhou, G. Edward Suh, Christina Delimitrou
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Speculative interference attacks: breaking invisible speculation schemes
Mohammad Behnia, Prateek Sahu, Riccardo Paccagnella, Jiyong Yu, Zirui Neil Zhao, Xiang Zou, Thomas Unterluggauer, Josep Torrellas, Carlos Rozas, Adam Morrison, Frank Mckeen, Fangfei Liu, Ron Gabor, Christopher W. Fletcher, Abhishek Basak, Alaa Alameldeen
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Statistical robustness of Markov chain Monte Carlo accelerators
Xiangyu Zhang, Ramin Bashizade, Yicheng Wang, Sayan Mukherjee, Alvin R. Lebeck
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Streamline: a fast, flushless cache covert-channel attack by enabling asynchronous collusion
Gururaj Saileshwar, Christopher W. Fletcher, Moinuddin Qureshi
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Switches for HIRE: resource scheduling for data center in-network computing
Marcel Blöcher, Lin Wang, Patrick Eugster, Max Schmidt
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Time-optimal Qubit mapping
Chi Zhang, Ari B. Hayes, Longfei Qiu, Yuwei Jin, Yanhao Chen, Eddy Z. Zhang
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Training for multi-resolution inference using reusable quantization terms
Sai Qian Zhang, Bradley McDanel, H. T. Kung, Xin Dong
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
VSync: push-button verification and optimization for synchronization primitives on weak memory models
Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens, Ming Fu, Antonio Paolillo, Lilith Oberhauser, Koustubha Bhat, Yuzhong Wen, Haibo Chen, Jaeho Kim, Viktor Vafeiadis
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
VeGen: a vectorizer generator for SIMD and beyond
Yishen Chen, Charith Mendis, Michael Carbin, Saman Amarasinghe
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Vectorization for digital signal processors via equality saturation
Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Warehouse-scale video acceleration: co-design and deployment in the wild
Parthasarathy Ranganathan, Daniel Stodolsky, Jeff Calow, Jeremy Dorfman, Marisabel Guevara, Clinton Wills Smullen IV, Aki Kuusela, Raghu Balasubramanian, Sandeep Bhatia, Prakash Chauhan, Anna Cheung, In Suk Chong, Niranjani Dasharathi, Jia Feng, Brian Fosco, Samuel Foss, Ben Gelb, Sara J. Gwin, Yoshiaki Hase, Da-ke He, C. Richard Ho, Roy W. Huffman Jr., Elisha Indupalli, Indira Jayaram, Poonacha Kongetira, Cho Mon Kyaw, Aaron Laursen, Yuan Li, Fong Lou, Kyle A. Lucke, JP Maaninen, Ramon Macias, Maire Mahony, David Alexander Munday, Srikanth Muroor, Narayana Penukonda, Eric Perkins-Argueta, Devin Persaud, Alex Ramirez, Ville-Mikko Rautio, Yolanda Ripley, Amir Salek, Sathish Sekar, Sergey N. Sokolov, Rob Springer, Don Stark, Mercedes Tan, Mark S. Wachsler, Andrew C. Walton, David A. Wickeraad, Alvin Wijaya, Hon Kwan Wu
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
When application-specific ISA meets FPGAs: a multi-layer virtualization framework for heterogeneous cloud FPGAs
Yue Zha, Jing Li
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）
2021 · ASPLOS
Who’s debugging the debuggers? exposing debug information bugs in optimized binaries
Giuseppe Antonio Di Luna, Davide Italiano, Luca Massarelli, Sebastian Österlund, Cristiano Giuffrida, Leonardo Querzoni
Computer Architecture & HPC / Programming Languages & Formal Methods / Operating & Distributed Systems
日本大学: 関与なし（対象大学）