Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SYS
DBLP
Scholar
DOI
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.