


default search action
ASPLOS 2017: Xi'an, China
- Yunji Chen, Olivier Temam, John Carter:
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2017, Xi'an, China, April 8-12, 2017. ACM 2017, ISBN 978-1-4503-4465-4
Keynote Address I
- Jingren Zhou:
Big Data Analytics and Intelligence at Alibaba Cloud. 1
Session 1: ASPLOS Highlights I
- Hari Cherupalli, Henry Duwe, Weidong Ye, Rakesh Kumar, John Sartori:
Determining Application-specific Peak Power and Energy Requirements for Ultra-low Power Processors. 3-16 - Quan Chen, Hailong Yang, Minyi Guo, Ram Srivatsa Kannan, Jason Mars, Lingjia Tang:
Prophet: Precise QoS Prediction on Non-Preemptive Accelerators to Improve Utilization in Warehouse-Scale Computers. 17-32 - Svilen Kanev, Sam Likun Xi, Gu-Yeon Wei, David M. Brooks:
Mallacc: Accelerating Memory Allocation. 33-45
Session 2: ASPLOS Highlights II
- Shasha Wen, Milind Chabbi, Xu Liu:
REDSPY: Exploring Value Locality in Software. 47-61 - Abhishek Bhattacharjee
:
Translation-Triggered Prefetching. 63-76 - Channoh Kim, Jaehyeok Kim, Sungmin Kim, Doo-Young Kim, Namho Kim, Gitae Na, Young H. Oh, Hyeon-Gyu Cho, Jae W. Lee:
Typed Architectures: Architectural Support for Lightweight Scripting. 77-90
Session 3A: Memory I
- Jihye Seo, Wook-Hee Kim, Woongki Baek, Beomseok Nam, Sam H. Noh:
Failure-Atomic Slotted Paging for Persistent Memory. 91-104 - Donald Nguyen, Keshav Pingali:
What Scalable Programs Need from Transactional Memory. 105-118 - Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi:
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. 119-133 - Sanketh Nalli
, Swapnil Haria, Mark D. Hill, Michael M. Swift, Haris Volos, Kimberly Keeton
:
An Analysis of Persistent Memory Use with WHISPER. 135-148
Session 3B: Verification and Testing
- Tong Zhang, Changhee Jung, Dongyoon Lee
:
ProRace: Practical Data Race Detection for Production Use. 149-162 - Lena E. Olson
, Mark D. Hill, David A. Wood:
Crossing Guard: Mediating Host-Accelerator Coherence Interactions. 163-176 - Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf
, Timothy Sherwood
:
An Architecture Supporting Formal and Compositional Binary Analysis. 177-191 - Chun-Hung Hsiao, Satish Narayanasamy
, Essam Muhammad Idris Khan, Cristiano L. Pereira, Gilles A. Pokam:
AsyncClock: Scalable Inference of Asynchronous Event Causality. 193-205
Session 4A: Distributed Systems
- Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos K. Aguilera:
Black-box Concurrent Data Structures for NUMA Architectures. 207-221 - Keval Vora
, Chen Tian, Rajiv Gupta
, Ziang Hu:
CoRAL: Confined Recovery in Distributed Asynchronous Graph Processing. 223-236 - Keval Vora
, Rajiv Gupta
, Guoqing Xu:
KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations. 237-251 - Bobby Powers, John Vilk, Emery D. Berger
:
Browsix: Bridging the Gap Between Unix and the Browser. 253-266
Session 4B: Compiler Optimizations
- Samyam Rajbhandari, Yuxiong He, Olatunji Ruwase, Michael Carbin, Trishul M. Chilimbi:
Optimizing CNNs on Multicores for Scalability, Performance and Goodput. 267-280 - Kirshanthan Sundararajah
, Laith Sakka, Milind Kulkarni:
Locality Transformations for Nested Recursive Iteration Spaces. 281-295 - Ang Li, Shuaiwen Leon Song, Weifeng Liu
, Xu Liu, Akash Kumar
, Henk Corporaal:
Locality-Aware CTA Clustering for Modern GPUs. 297-311 - Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken
:
Sound Loop Superoptimization for Google Native Client. 313-326
Keynote Address II
- Ricardo Bianchini:
Improving Datacenter Efficiency. 327
Storage
- Mengxing Liu, Mingxing Zhang, Kang Chen, Xuehai Qian, Yongwei Wu, Weimin Zheng, Jinglei Ren:
DudeTM: Building Durable Transactions with Decoupling for Persistent Memory. 329-343 - Ana Klimovic
, Heiner Litz, Christos Kozyrakis:
ReFlex: Remote Flash ≈ Local Flash. 345-359 - Djordje Jevdjic, Karin Strauss, Luis Ceze, Henrique S. Malvar:
Approximate Storage of Compressed and Encrypted Videos. 361-373 - Nima Elyasi, Mohammad Arjomand, Anand Sivasubramaniam, Mahmut T. Kandemir, Chita R. Das, Myoungsoo Jung:
Exploiting Intra-Request Slack to Improve SSD Performance. 375-388
Session 6A: IOT and Applications
- Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani:
Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code. 389-404 - Ao Ren, Zhe Li, Caiwen Ding
, Qinru Qiu, Yanzhi Wang, Ji Li, Xuehai Qian, Bo Yuan:
SC-DCNN: Highly-Scalable Deep Convolutional Neural Network using Stochastic Computing. 405-418 - Jerry Antony Ajay, Chen Song, Aditya Singh Rathore, Chi Zhou, Wenyao Xu:
3DGates: An Instruction-Level Energy Analysis and Optimization of 3D Printers. 419-433
Session 6B: Virtualization
- Guilherme Cox
, Abhishek Bhattacharjee
:
Efficient Address Translation for Architectures with Multiple Page Sizes. 435-448 - Ilya Lesokhin, Haggai Eran
, Shachar Raindel
, Guy Shapiro, Sagi Grimberg, Liran Liss, Muli Ben-Yehuda, Nadav Amit
, Dan Tsafrir:
Page Fault Support for Network Controllers. 449-466 - Yang Hu, Mingcong Song, Tao Li:
Towards "Full Containerization" in Containerized Network Function Virtualization. 467-481
Session 7A: Accelerators: GPUs, ASICs, and Heterogeneous Systems
- Bo Wu, Xu Liu, Xiaobo Zhou, Changjun Jiang:
FLEP: Enabling Flexible and Efficient Preemption on GPUs. 483-496 - Kaiwei Li, Jianfei Chen, Wenguang Chen, Jun Zhu:
SaberLDA: Sparsity-Aware Learning of Topic Models on GPUs. 497-509 - Moein Khazraee, Lu Zhang, Luis Vega, Michael Bedford Taylor:
Moonwalk: NRE Optimization in ASIC Clouds. 511-526 - Jason Jong Kyu Park, Yongjun Park, Scott A. Mahlke:
Dynamic Resource Management for Efficient Utilization of Multitasking GPUs. 527-540
Session 7B: Security
- Rui Zhang, Natalie Stanley, Christopher Griggs, Andrew Chi, Cynthia Sturton:
Identifying Security Critical Properties for the Dynamic Verification of a Processor. 541-554 - Andrew Ferraiuolo, Rui Xu, Danfeng Zhang
, Andrew C. Myers, G. Edward Suh
:
Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. 555-568 - David Chisnall
, Brooks Davis, Khilan Gudka, David Brazdil, Alexandre Joannou, Jonathan Woodruff
, A. Theodore Markettos, J. Edward Maste, Robert M. Norton, Stacey D. Son, Michael Roe, Simon W. Moore, Peter G. Neumann, Ben Laurie, Robert N. M. Watson:
CHERI JNI: Sinking the Java Security Model into the C. 569-583 - Xinyang Ge, Weidong Cui, Trent Jaeger:
GRIFFIN: Guarding Control Flows Using Intel Processor Trace. 585-598
Session 8A: Cloud
- Christina Delimitrou
, Christos Kozyrakis:
Bolt: I Know What You Did Last Summer... In The Cloud. 599-613 - Yiping Kang, Johann Hauswald, Cao Gao, Austin Rovinski, Trevor N. Mudge, Jason Mars, Lingjia Tang:
Neurosurgeon: Collaborative Intelligence Between the Cloud and Mobile Edge. 615-629 - Neha Agarwal, Thomas F. Wenisch:
Thermostat: Application-transparent Page Management for Two-tiered Main Memory. 631-644 - Antonio Barbalace, Robert Lyerly, Christopher Jelesnianski, Anthony Carno, Ho-Ren Chuang, Vincent Legout, Binoy Ravindran
:
Breaking the Boundaries in Heterogeneous-ISA Datacenters. 645-659
Session 8B: Debugging
- Daniel Lustig, Andrew Wright, Alexandros Papakonstantinou, Olivier Giroux:
Automated Synthesis of Comprehensive Memory Model Litmus Test Suites. 661-675 - Haopeng Liu, Guangpu Li, Jeffrey F. Lukman, Jiaxin Li, Shan Lu, Haryadi S. Gunawi, Chen Tian:
DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems. 677-691 - Ali José Mashtizadeh, Tal Garfinkel, David Terei, David Mazières, Mendel Rosenblum:
Towards Practical Default-On Multi-Core Record/Replay. 693-708 - Jian Huang, Michael Allen-Bond, Xuechen Zhang:
Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path. 709-722
Session 9A: Memory II
- Jagadish B. Kotra, Narges Shahidi, Zeshan A. Chishti, Mahmut T. Kandemir:
Hardware-Software Co-design to Mitigate DRAM Refresh Overheads: A Case for Refresh-Aware Process Scheduling. 723-736 - Jinchun Kim, Elvira Teran
, Paul V. Gratz
, Daniel A. Jiménez
, Seth H. Pugsley, Chris Wilkerson:
Kill the Program Counter: Reconstructing Program Behavior in the Processor Cache Hierarchy. 737-749 - Mingyu Gao, Jing Pu, Xuan Yang, Mark Horowitz, Christos Kozyrakis:
TETRIS: Scalable and Efficient Neural Network Acceleration with 3D Memory. 751-764 - WonJun Song, Gwangsun Kim
, Hyungjoon Jung, Jongwook Chung, Jung Ho Ahn
, Jae W. Lee, John Kim
:
History-Based Arbitration for Fairness in Processor-Interconnect of NUMA Servers. 765-777
Session 9B: Data Center Architectures & Power Management
- Pulkit A. Misra, Jeffrey S. Chase
, Johannes Gehrke, Alvin R. Lebeck:
Enabling Lightweight Transactions with Precision Time. 779-794 - Ming Liu, Liang Luo, Jacob Nelson, Luis Ceze, Arvind Krishnamurthy, Kishore Atreya:
IncBricks: Toward In-Network Computation with an In-Network Cache. 795-809 - Ismail Akturk, Ulya R. Karpuzcu:
AMNESIAC: Amnesic Automatic Computer. 811-824 - Yuxin Bai, Victor W. Lee, Engin Ipek:
Voltage Regulator Efficiency Aware Power Management. 825-838

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.