Yunji Chen, Olivier Temam, John Carter
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS, 2017.

@proceedings{ASPLOS-2017,
	editor        = "Yunji Chen and Olivier Temam and John Carter",
	isbn          = "978-1-4503-4465-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems}",
	year          = 2017,
}

Contents (58 items)

ASPLOS-2017-Zhou #big data #data analysis

Big Data Analytics and Intelligence at Alibaba Cloud (JZ), p. 1.

ASPLOS-2017-CherupalliDY0S #energy #power management #requirements

Determining Application-specific Peak Power and Energy Requirements for Ultra-low Power Processors (HC, HD, WY, RK0, JS), pp. 3–16.

ASPLOS-2017-ChenYGKMT #named #precise #predict

Prophet: Precise QoS Prediction on Non-Preemptive Accelerators to Improve Utilization in Warehouse-Scale Computers (QC0, HY, MG, RSK, JM, LT), pp. 17–32.

ASPLOS-2017-KanevXWB #memory management #named

Mallacc: Accelerating Memory Allocation (SK, SLX, GYW, DMB), pp. 33–45.

ASPLOS-2017-WenCL #locality #named

REDSPY: Exploring Value Locality in Software (SW, MC, XL0), pp. 47–61.

ASPLOS-2017-Bhattacharjee

Translation-Triggered Prefetching (AB), pp. 63–76.

ASPLOS-2017-KimKKKKNOCL #architecture #lightweight

Typed Architectures: Architectural Support for Lightweight Scripting (CK, JK, SK, DYK, NK, GN, YHO, HGC, JWL), pp. 77–90.

ASPLOS-2017-SeoKBNN #memory management #persistent

Failure-Atomic Slotted Paging for Persistent Memory (JS, WHK, WB, BN, SHN), pp. 91–104.

ASPLOS-2017-NguyenP #memory management #scalability #source code #transaction #what

What Scalable Programs Need from Transactional Memory (DN, KP), pp. 105–118.

ASPLOS-2017-TrippelMLPM #hardware #memory management #named #verification

TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA (CT, YAM, DL, MP, MM), pp. 119–133.

ASPLOS-2017-NalliHHSVK #analysis #memory management #persistent

An Analysis of Persistent Memory Use with WHISPER (SN, SH, MDH, MMS, HV0, KK), pp. 135–148.

ASPLOS-2017-ZhangJL #concurrent #detection #named

ProRace: Practical Data Race Detection for Production Use (TZ, CJ, DL), pp. 149–162.

ASPLOS-2017-OlsonHW #interactive

Crossing Guard: Mediating Host-Accelerator Coherence Interactions (LEO, MDH, DAW0), pp. 163–176.

ASPLOS-2017-McMahanCNRGHS #analysis #architecture #composition

An Architecture Supporting Formal and Compositional Binary Analysis (JM, MC, LN, JR, SYG, BH, TS), pp. 177–191.

ASPLOS-2017-HsiaoNKPP #named #scalability

AsyncClock: Scalable Inference of Asynchronous Event Causality (CHH, SN, EMIK, CLP, GAP), pp. 193–205.

ASPLOS-2017-CalciuSBA #architecture #black box #concurrent #data type

Black-box Concurrent Data Structures for NUMA Architectures (IC, SS0, MB0, MKA), pp. 207–221.

ASPLOS-2017-VoraTGH #distributed #graph #named

CoRAL: Confined Recovery in Distributed Asynchronous Graph Processing (KV, CT0, RG0, ZH), pp. 223–236.

ASPLOS-2017-VoraGX #approximate #graph #named #performance #streaming

KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations (KV, RG0, G(X), pp. 237–251.

ASPLOS-2017-PowersVB #named

Browsix: Bridging the Gap Between Unix and the Browser (BP, JV, EDB), pp. 253–266.

ASPLOS-2017-RajbhandariHRCC #multi #optimisation #performance #scalability

Optimizing CNNs on Multicores for Scalability, Performance and Goodput (SR, YH, OR, MC, TMC), pp. 267–280.

ASPLOS-2017-SundararajahSK #locality #recursion

Locality Transformations for Nested Recursive Iteration Spaces (KS, LS, MK0), pp. 281–295.

ASPLOS-2017-LiS0L0C #clustering

Locality-Aware CTA Clustering for Modern GPUs (AL, SLS, WL0, XL0, AK0, HC), pp. 297–311.

ASPLOS-2017-ChurchillSBA

Sound Loop Superoptimization for Google Native Client (BRC, RS0, JFB, AA), pp. 313–326.

ASPLOS-2017-Bianchini #performance

Improving Datacenter Efficiency (RB), p. 327.

ASPLOS-2017-LiuZCQWZR #memory management #named #persistent #transaction

DudeTM: Building Durable Transactions with Decoupling for Persistent Memory (ML, MZ, KC, XQ, YW, WZ, JR), pp. 329–343.

ASPLOS-2017-KlimovicLK #named

ReFlex: Remote Flash ≈ Local Flash (AK, HL, CK), pp. 345–359.

ASPLOS-2017-JevdjicSCM #approximate

Approximate Storage of Compressed and Encrypted Videos (DJ, KS, LC, HSM), pp. 361–373.

ASPLOS-2017-ElyasiASKDJ #performance

Exploiting Intra-Request Slack to Improve SSD Performance (NE, MA, AS, MTK, CRD, MJ), pp. 375–388.

ASPLOS-2017-WangHZXS #analysis #graph #interprocedural #named #scalability

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code (KW0, AH0, ZZ0, G(X, AAS), pp. 389–404.

ASPLOS-2017-RenLDQWLQY #named #network #probability #using

SC-DCNN: Highly-Scalable Deep Convolutional Neural Network using Stochastic Computing (AR, ZL0, CD, QQ, YW, JL0, XQ, BY0), pp. 405–418.

ASPLOS-2017-AjaySRZX #3d #analysis #energy #named #optimisation

3DGates: An Instruction-Level Energy Analysis and Optimization of 3D Printers (JA, CS0, ASR, CZ, WX), pp. 419–433.

ASPLOS-2017-CoxB #architecture #multi #performance

Efficient Address Translation for Architectures with Multiple Page Sizes (GC, AB), pp. 435–448.

ASPLOS-2017-LesokhinERSGLBA #fault #network

Page Fault Support for Network Controllers (IL, HE, SR, GS, SG, LL, MBY, NA, DT), pp. 449–466.

ASPLOS-2017-HuSL #network #towards

Towards “Full Containerization” in Containerized Network Function Virtualization (YH0, MS, TL0), pp. 467–481.

ASPLOS-2017-WuLZJ #flexibility #named #performance

FLEP: Enabling Flexible and Efficient Preemption on GPUs (BW0, XL0, XZ0, CJ), pp. 483–496.

ASPLOS-2017-LiCCZ #learning #modelling #named #topic

SaberLDA: Sparsity-Aware Learning of Topic Models on GPUs (KL, JC0, WC, JZ0), pp. 497–509.

ASPLOS-2017-KhazraeeZVT #named #optimisation

Moonwalk: NRE Optimization in ASIC Clouds (MK, LZ, LV, MBT), pp. 511–526.

ASPLOS-2017-ParkPM #multi #performance #resource management

Dynamic Resource Management for Efficient Utilization of Multitasking GPUs (JJKP, YP, SAM), pp. 527–540.

ASPLOS-2017-ZhangSGCS #identification #security #verification

Identifying Security Critical Properties for the Dynamic Verification of a Processor (RZ, NS, CG, AC, CS), pp. 541–554.

ASPLOS-2017-FerraiuoloXZMS #analysis #architecture #data flow #hardware #security #verification

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis (AF, RX, DZ, ACM, GES), pp. 555–568.

ASPLOS-2017-ChisnallDGBJWMM #c #java #security

CHERI JNI: Sinking the Java Security Model into the C (DC, BD, KG, DB, AJ, JW, ATM, JEM, RMN, SDS, MR, SWM, PGN, BL, RNMW), pp. 569–583.

ASPLOS-2017-GeCJ #control flow #named #using

GRIFFIN: Guarding Control Flows Using Intel Processor Trace (XG, WC, TJ), pp. 585–598.

ASPLOS-2017-DelimitrouK #in the cloud #named #what

Bolt: I Know What You Did Last Summer... In The Cloud (CD, CK), pp. 599–613.

ASPLOS-2017-KangHGRMMT #collaboration #mobile #named

Neurosurgeon: Collaborative Intelligence Between the Cloud and Mobile Edge (YK, JH, CG, AR, TNM, JM, LT), pp. 615–629.

ASPLOS-2017-AgarwalW #in memory #memory management #named

Thermostat: Application-transparent Page Management for Two-tiered Main Memory (NA, TFW), pp. 631–644.

ASPLOS-2017-BarbalaceLJCCLR #bound

Breaking the Boundaries in Heterogeneous-ISA Datacenters (AB, RL, CJ, AC, HRC, VL, BR), pp. 645–659.

ASPLOS-2017-LustigWPG #automation #memory management #synthesis #testing

Automated Synthesis of Comprehensive Memory Model Litmus Test Suites (DL, AW, AP, OG), pp. 661–675.

ASPLOS-2017-LiuLLLLGT #automation #concurrent #debugging #detection #distributed #named

DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems (HL, GL, JFL, JL, SL, HSG, CT0), pp. 677–691.

ASPLOS-2017-MashtizadehGTMR #manycore #towards

Towards Practical Default-On Multi-Core Record/Replay (AJM, TG, DT, DM, MR), pp. 693–708.

ASPLOS-2017-HuangAZ #debugging #named #performance #semantics

Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path (JH0, MAB, XZ), pp. 709–722.

ASPLOS-2017-KotraSCK #co-evolution #design #process #scheduling

Hardware-Software Co-design to Mitigate DRAM Refresh Overheads: A Case for Refresh-Aware Process Scheduling (JBK, NS, ZAC, MTK), pp. 723–736.

ASPLOS-2017-KimTGJPW #behaviour

Kill the Program Counter: Reconstructing Program Behavior in the Processor Cache Hierarchy (JK, ET, PVG, DAJ, SHP, CW), pp. 737–749.

ASPLOS-2017-GaoPYHK #3d #memory management #named #network #performance #scalability

TETRIS: Scalable and Efficient Neural Network Acceleration with 3D Memory (MG, JP, XY, MH, CK), pp. 751–764.

ASPLOS-2017-SongKJCALK

History-Based Arbitration for Fairness in Processor-Interconnect of NUMA Servers (WS, GK, HJ, JC, JHA, JWL, JK), pp. 765–777.

ASPLOS-2017-MisraCGL #lightweight #precise #transaction

Enabling Lightweight Transactions with Precision Time (PAM, JSC, JG, ARL), pp. 779–794.

ASPLOS-2017-LiuLNCKA #named #towards

IncBricks: Toward In-Network Computation with an In-Network Cache (ML, LL, JN, LC, AK, KA), pp. 795–809.

ASPLOS-2017-AkturkK #automation #named

AMNESIAC: Amnesic Automatic Computer (IA, URK), pp. 811–824.

ASPLOS-2017-BaiLI #performance #power management

Voltage Regulator Efficiency Aware Power Management (YB, VWL, EI), pp. 825–838.