James R. Larus, Luis Ceze, Karin Strauss
Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS, 2020.

@proceedings{ASPLOS-2020,
	doi           = "10.1145/3373376",
	editor        = "James R. Larus and Luis Ceze and Karin Strauss",
	isbn          = "978-1-4503-7102-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems}",
	year          = 2020,
}

Contents (88 items)

ASPLOS-2020-Kaplan #big data

Big Data of the Past, from Venice to Europe (FK), p. 1.

ASPLOS-2020-MireshghallahTR #learning #named #privacy

Shredder: Learning Noise Distributions to Protect Inference Privacy (FM, MT, PR, AJ, DMT, HE), pp. 3–18.

ASPLOS-2020-WangHZYZMQ #architecture #named

DNNGuard: An Elastic Heterogeneous DNN Accelerator Architecture against Adversarial Attacks (XW, RH, BZ, FY, JZ, DM, XQ), pp. 19–34.

ASPLOS-2020-VicarteSPF #game studies #thread

Game of Threads: Enabling Asynchronous Poisoning Attacks (JRSV, BS, RP, CWF), pp. 35–52.

ASPLOS-2020-WinkelDYPH #reliability

Reliable Timekeeping for Intermittent Computing (JdW, CDD, KSY, PP, JDH), pp. 53–67.

ASPLOS-2020-WilliamsJH

Forget Failure: Exploiting SRAM Data Remanence for Low-overhead Intermittent Computation (HW, XJ, MH), pp. 69–84.

ASPLOS-2020-KortbeekYBSHP #legacy

Time-sensitive Intermittent Computing Meets Legacy Software (VK, KSY, AB, JS, JDH, PP), pp. 85–99.

ASPLOS-2020-SmolyarMPEZBL0T #named

IOctopus: Outsmarting Nonuniform DMA (IS, AM, BP, HE, GZ, AB, LL, AM0, DT), pp. 101–115.

ASPLOS-2020-TorkMS #architecture #named #network

Lynx: A SmartNIC-driven Accelerator-centric Architecture for Network Servers (MT, LM, MS), pp. 117–131.

ASPLOS-2020-Williams-KingKW #named

Egalito: Layout-Agnostic Binary Recompilation (DWK, HK, KWK, GP, FS, YJW, JY, VPK), pp. 133–147.

ASPLOS-2020-AchourR #compilation

Noise-Aware Dynamical System Compilation for Analog Devices with Legno (SA, MR), pp. 149–166.

ASPLOS-2020-LeijaSSWRND

Reproducible Containers (OSNL, KS, RGS, BW, NR, RRN, JD), pp. 167–182.

ASPLOS-2020-Mathur0 #linear #using

Atomicity Checking in Linear Time using Vector Clocks (UM, MV0), pp. 183–199.

ASPLOS-2020-KatsarakisGKJDG #fault tolerance #named #performance #protocol #replication

Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol (AK, VG, MRSK, AJ, AD, BG, VN), pp. 201–217.

ASPLOS-2020-SadrediniRLSS #adaptation #automaton #named #performance

FlexAmata: A Universal and Efficient Adaption of Applications to Spatial Automata Processing Accelerators (ES, RR, ML, MS, KS), pp. 219–234.

ASPLOS-2020-AngstadtJW #automaton #bound #kernel #learning #legacy #string

Accelerating Legacy String Kernels via Bounded Automata Learning (KA, JBJ, WW), pp. 235–249.

ASPLOS-2020-0002PJ #how #performance #why

Why GPUs are Slow at Executing NFAs and How to Make them Faster (HL0, SP, AJ), pp. 251–265.

ASPLOS-2020-MansiS

∅sim: Preparing System Software for a World with Terabyte-scale Memories (MM, MMS), pp. 267–282.

ASPLOS-2020-AchermannPBRG #named #self

Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines (RA, AP, AB, TR, JG), pp. 283–300.

ASPLOS-2020-BindschaedlerGZ #database #distributed #named

Hailstorm: Disaggregated Compute and Storage for Distributed LSM-based Databases (LB, AG, WZ), pp. 301–316.

ASPLOS-2020-ZhangBBBL #architecture #consistency #memory management #named

Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency (RZ, SB, VB, MDB, BL), pp. 317–333.

ASPLOS-2020-RamanathanKMFDM #memory management #transaction

Durable Transactional Memory Can Scale with Timestone (MKR, JK, AM, XF, AD, CM, SK), pp. 335–349.

ASPLOS-2020-ApostolakisXCCA #approach #automation #named #parallel

Perspective: A Sensible Approach to Speculative Automatic Parallelization (SA, ZX, GC, SC, DIA), pp. 351–367.

ASPLOS-2020-YangGLSPNBCHRKH #named #scheduling #using

Interstellar: Using Halide's Scheduling Language to Analyze DNN Accelerators (XY, MG, QL, JS, JP, AN, SB, KC, HH, PR, CK, MH), pp. 369–383.

ASPLOS-2020-HuLL0Z0XDLSX #architecture #framework #learning #named

DeepSniffer: A DNN Model Extraction Framework Based on Learning Architectural Hints (XH, LL, SL, LD0, PZ, YJ0, XX, YD, CL, TS, YX), pp. 385–399.

ASPLOS-2020-LuoHZQ #distributed #named

Prague: High-Performance Heterogeneity-Aware Asynchronous Decentralized Training (QL, JH, YZ, XQ), pp. 401–416.

ASPLOS-2020-LockermanFBSG0B #memory management #named

Livia: Data-Centric Computing Throughout the Memory Hierarchy (EL, AF, MB, AS, SG, DS0, NB), pp. 417–433.

ASPLOS-2020-TzimpragosVTMMV #logic

A Computational Temporal Logic for Superconducting Accelerators (GT, DV, NT, GM, AM, JV, JS, TS), pp. 435–448.

ASPLOS-2020-MinBLNK #architecture #effectiveness #named #performance #scalability

CryoCache: A Fast, Large, and Cost-Effective Cache Architecture for Cryogenic Computing (DM, IB, GhL, SN, JK), pp. 449–464.

ASPLOS-2020-Boccali #energy #physics

Current and Projected Needs for High Energy Physics Experiments (with a Particular Eye on CERN LHC) (TB), p. 465.

ASPLOS-2020-DuYXZYQWC #named

Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting (DD, TY, YX, BZ, GY, CQ, QW, HC), pp. 467–481.

ASPLOS-2020-ZhangZWYSL #multitenancy

High-density Multi-tenant Bare-metal Cloud (XZ, XZ, ZW, HY, YS, XL), pp. 483–495.

ASPLOS-2020-SakalkarKLLRBRK

Data Center Power Oversubscription with a Medium Voltage Power Plane and Priority-Aware Capping (VS, VK, DL, SL, DDR, TB, AR, JK, CM, JC, PR), pp. 497–511.

ASPLOS-2020-AyersLKR #data access #memory management

Classifying Memory Access Patterns for Prefetching (GA, HL, CK, PR), pp. 513–526.

ASPLOS-2020-GhasemazarNL #clustering #named #performance

Thesaurus: Efficient Cache Compression via Dynamic Clustering (AG, PN, ML), pp. 527–540.

ASPLOS-2020-MaasAIJMR #c++ #memory management

Learning-based Memory Allocation for C++ Server Workloads (MM, DGA, MI, MMJ, KSM, CR), pp. 541–556.

ASPLOS-2020-LimN #hardware #optimisation #performance #using

Optimizing Nested Virtualization Performance Using Direct Virtual Hardware (JTL, JN), pp. 557–574.

ASPLOS-2020-TovletoglouMNK #energy #memory management #named

HaRMony: Heterogeneous-Reliability Memory and QoS-Aware Energy Management on Virtualized Servers (KT, LM, DSN, GK), pp. 575–590.

ASPLOS-2020-LiHNGGPZBGB #named #performance

LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs (HL, MH, SN, VG, SG, DRKP, IZ, RB, HSG, AB), pp. 591–605.

ASPLOS-2020-QiuJ0

Challenging Sequential Bitstream Processing via Principled Bitwise Speculation (JQ, LJ, ZZ0), pp. 607–621.

ASPLOS-2020-HanelAXKL #abstraction #data-driven #memory management #named #streaming

Vortex: Extreme-Performance Memory Abstractions for Data-Intensive Streaming Applications (CH, AA, DX, JK, DL), pp. 623–638.

ASPLOS-2020-ThomasHZ #framework #named #parallel #streaming

Fleet: A Framework for Massively Parallel Streaming on FPGAs (JJT, PH, MZ), pp. 639–651.

ASPLOS-2020-DeLozierLPD #named #reuse

Hurdle: Securing Jump Instructions Against Code Reuse Attacks (CD, KL, GP, JD), pp. 653–666.

ASPLOS-2020-ZhangKE #branch #execution #predict

Exploring Branch Predictors for Constructing Transient Execution Trojans (TZ, KK, DE), pp. 667–682.

ASPLOS-2020-Deng0S #benchmark #metric

A Benchmark Suite for Evaluating Caches' Vulnerability to Timing Attacks (SD, WX0, JS), pp. 683–697.

ASPLOS-2020-BalkindLSGCLLNF #named

BYOC: A (JB, KL, MS, FG, GC, AL, AL, TMN0, YF, FZ, KG, LB, DW), pp. 699–714.

ASPLOS-2020-KarandikarOAMKN #co-evolution #design #hardware #named #performance #profiling

FirePerf: FPGA-Accelerated Full-System Hardware/Software Performance Profiling and Co-Design (SK, AJO, AA, HM, RHK, BN, KA), pp. 715–731.

ASPLOS-2020-SriramanD #comprehension #named

Accelerometer: Understanding Acceleration Opportunities for Data Center Overheads at Hyperscale (AS, AD), pp. 733–750.

ASPLOS-2020-MaZCSWQ #architecture #data type #framework #implementation #named #performance #persistent #symmetry

AsymNVM: An Efficient Framework for Implementing Persistent Data Structures on Asymmetric NVM Architecture (TM, MZ, KC, ZS, YW, XQ), pp. 757–773.

ASPLOS-2020-HariaHS #memory management #named #order #persistent

MOD: Minimally Ordered Durable Datastructures for Persistent Memory (SH, MDH, MMS), pp. 775–788.

ASPLOS-2020-MemaripourIS #data type #named #performance #persistent

Pronto: Easy and Fast Persistence for Volatile Data Structures (AM, JI, SS), pp. 789–806.

ASPLOS-2020-YuPAR #named

AvA: Accelerated Virtualization of Accelerators (HY, AMP, AA, CJR), pp. 807–825.

ASPLOS-2020-MaZLCLEQK #platform

A Hypervisor for Shared-Memory FPGA Platforms (JM, GZ, KL, XC, YL, AME, ZQ, BK), pp. 827–844.

ASPLOS-2020-ZhaL #in the cloud

Virtualizing FPGAs in the Cloud (YZ, JL), pp. 845–858.

ASPLOS-2020-Zheng0WCS #automation #framework #named #optimisation

FlexTensor: An Automatic Schedule Exploration and Optimization Framework for Tensor Computation on Heterogeneous System (SZ, YL0, SW, RC, KS), pp. 859–873.

ASPLOS-2020-HildebrandKTLA #automation #integer #linear #memory management #named #programming #using

AutoTM: Automatic Tensor Movement in Heterogeneous Memory Systems using Integer Linear Programming (MH, JK, ST, JLP, VA), pp. 875–890.

ASPLOS-2020-PengSD0MXYQ #gpu #learning #memory management #named

Capuchin: Tensor-based GPU Memory Management for Deep Learning (XP, XS, HD, HJ0, WM, QX, FY, XQ), pp. 891–905.

ASPLOS-2020-NiuMLWQLWR #execution #mobile #named #realtime

PatDNN: Achieving Real-Time DNN Execution on Mobile Devices with Pattern-based Weight Pruning (WN, XM, SL, SW, XQ, XL, YW, BR), pp. 907–922.

ASPLOS-2020-MengPH #mobile #multi #named #similarity

Coterie: Exploiting Frame Similarity to Enable High-Quality Multiplayer VR on Commodity Mobile Devices (JM, SP, YCH), pp. 923–937.

ASPLOS-2020-DenbyL

Orbital Edge Computing: Nanosatellite Constellations as a New Class of Computer System (BD, BL), pp. 939–954.

ASPLOS-2020-ShenTCCWXXY #multi #named #performance

Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX (YS, HT, YC, KC, RW, YX, YX, SY), pp. 955–970.

ASPLOS-2020-KhandakerCWW #interface

COIN Attacks: On Insecurity of Enclave Untrusted Interfaces in SGX (MRK, YC, ZW, TW), pp. 971–985.

ASPLOS-2020-XuSS #memory management #named #performance #persistent #reduction #security

MERR: Improving Security of Persistent Memory Objects via Efficient Memory Exposure Reduction and Randomization (YX, YS, XS), pp. 987–1000.

ASPLOS-2020-MuraliMMJ #quantum

Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers (PM, DCM, MM, AJA), pp. 1001–1016.

ASPLOS-2020-LiuBZ #quantum #runtime

Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation (JL, GTB, HZ), pp. 1017–1030.

ASPLOS-2020-LiD0 #architecture #design #performance #quantum #towards

Towards Efficient Superconducting Quantum Processor Architecture Design (GL, YD, YX0), pp. 1031–1045.

ASPLOS-2020-SunC #algorithm #co-evolution #design #named

SAC: A Co-Design Cache Algorithm for Emerging SMR-based High-Density Disks (DS, YC), pp. 1047–1061.

ASPLOS-2020-ChoiUKJE

Fair Write Attribution and Allocation for Consolidated Flash Cache (WC, BU, MTK, MJ, DE), pp. 1063–1076.

ASPLOS-2020-ChenLYWWS #memory management #named #performance #persistent

FlatStore: An Efficient Log-Structured Key-Value Storage Engine for Persistent Memory (YC, YL, FY, QW, YW, JS), pp. 1077–1091.

ASPLOS-2020-SkarlatosKXT #memory management #parallel

Elastic Cuckoo Page Tables: Rethinking Virtual Memory Translation for Parallelism (DS, AK, TX, JT), pp. 1093–1108.

ASPLOS-2020-HyunKCKR #architecture #named #performance

NeuMMU: Architectural Support for Efficient Address Translations in Neural Processing Units (BH, YK, YC, JK, MR), pp. 1109–1124.

ASPLOS-2020-TsaiSFS #named

Safecracker: Leaking Secrets through Compressed Caches (PAT, AS, CWF, DS), pp. 1125–1140.

ASPLOS-2020-YuanY #concurrent #distributed #effectiveness #testing

Effective Concurrency Testing for Distributed Systems (XY, JY), pp. 1141–1156.

ASPLOS-2020-Kokologiannakis #hardware #memory management #model checking #modelling #named

HMC: Model Checking for Hardware Memory Models (MK, VV), pp. 1157–1171.

ASPLOS-2020-DananjayaGJN #lazy evaluation

Lazy Release Persistency (MD, VG, AJ, VN), pp. 1173–1186.

ASPLOS-2020-0001SWWKK #debugging #detection #memory management #persistent #source code

Cross-Failure Bug Detection in Persistent Memory Programs (SL0, KS, YW, TFW, AK, SK), pp. 1187–1202.

ASPLOS-2020-ZarandiGKSTDFK #data transformation

Optimus Prime: Accelerating Data Transformation in Servers (APZ, SG, HK, MS, ZT, MPD, BF, CK0), pp. 1203–1216.

ASPLOS-2020-KalinskyKE #architecture #graph #relational

The TrieJax Architecture: Accelerating Graph Operations Through Relational Joins (OK, BK, YE), pp. 1217–1231.

ASPLOS-2020-HeoWLBJHL #architecture #named

IIU: Specialized Architecture for Inverted Index Search (JH, JW, YL, SB, JJ, TJH, JWL), pp. 1233–1245.

ASPLOS-2020-AbeydeeraS #named #parallel #performance

Chronos: Efficient Speculative Parallelism for Accelerators (MA, DS0), pp. 1247–1262.

ASPLOS-2020-ZhangSYZS0 #execution #named #obfuscation #performance

Klotski: Efficient Obfuscated Execution against Controlled-Channel Attacks (PZ, CS, HY, DZ, ES, HJ0), pp. 1263–1276.

ASPLOS-2020-Ainsworth0 #hardware #parallel #programmable #security

The Guardian Council: Parallel Programmable Hardware Security (SA, TMJ0), pp. 1277–1293.

ASPLOS-2020-RiaziLPD #architecture #named

HEAX: An Architecture for Computing on Encrypted Data (MSR, KL, BP, WD), pp. 1295–1309.

ASPLOS-2020-KimPCKOMK #architecture #named #performance

Evanesco: Architectural Support for Efficient Data Sanitization in Modern Flash-Based Storage Systems (MK, JP, GC, YK, LO, OM, JK), pp. 1311–1326.

ASPLOS-2020-YehGR

Dimensionality-Aware Redundant SIMT Instruction Elimination (TTY, RNG, TGR), pp. 1327–1340.

ASPLOS-2020-HuangJ0 #gpu #learning #memory management #named

SwapAdvisor: Pushing Deep Learning Beyond the GPU Memory Limit via Smart Swapping (CCH, GJ, JL0), pp. 1341–1355.

ASPLOS-2020-KimSGHK #memory management

Batch-Aware Unified Memory Management in GPUs for Irregular Workloads (HK, JS, PG, RH, HK), pp. 1357–1370.

ASPLOS-2020-0004JE #hybrid #multi #named

HSM: A Hybrid Slowdown Model for Multitasking GPUs (XZ0, MJ, LE), pp. 1371–1385.