ACM Architectural Support for Prog. Languages and Operating Systems, ASPLOS 2018


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Exploiting Dynamic Thermal Energy Harvesting for Reusing in Smartphone with Mobile Applications

Yuting Dai, Tao Li, Benyong Liu, Mingcong Song, Huixiang Chen

Exploiting Dynamic Thermal Energy Harvesting for Reusing in Smartphone with Mobile Applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

Bridge the Gap between Neural Networks and Neuromorphic Hardware with a Neural Network Compiler

Yu Ji, Youhui Zhang, Wenguang Chen, Yuan Xie

Bridge the Gap between Neural Networks and Neuromorphic Hardware with a Neural Network Compiler

Details
Discussion Comments: 0
Verification: Authors have not verified information

Datasize-Aware High Dimensional Configurations Auto-Tuning of In-Memory Cluster Computing

Zhibin Yu, Zhendong Bei, Xuehai Qian

Datasize-Aware High Dimensional Configurations Auto-Tuning of In-Memory Cluster Computing

Details
Discussion Comments: 0
Verification: Authors have not verified information

Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis

David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy

Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis

Details
Discussion Comments: 0
Verification: Authors have not verified information

Sugar: Secure GPU Acceleration in Web Browsers

Zhihao Yao, Zongheng Ma, Yingtong Liu, Ardalan Amiri Sani, Aparna Chandramowlishwaran

Sugar: Secure GPU Acceleration in Web Browsers

Details
Discussion Comments: 0
Verification: Authors have not verified information

Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach

Philip Ginsbach, Toomas Remmelg, Michel Steuwer, Bruno Bodin, Christophe Dubach, Michael F. P. O'Boyle

Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

LATR: Lazy Translation Coherence

Mohan Kumar, Steffen Maass, Sanidhya Kashyap, Ján Veselý, Zi Yan, Taesoo Kim, Abhishek Bhattacharjee, Tushar Krishna

LATR: Lazy Translation Coherence

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Enhancing Cross-ISA DBT Through Automatically Learned Translation Rules

Wenwen Wang, Stephen McCamant, Antonia Zhai, Pen-Chung Yew

Enhancing Cross-ISA DBT Through Automatically Learned Translation Rules

Details
Discussion Comments: 0
Verification: Authors have not verified information

Darwin: A Genomics Co-processor Provides up to 15, 000X Acceleration on Long Read Assembly

Yatish Turakhia, Gill Bejerano, William J. Dally

Darwin: A Genomics Co-processor Provides up to 15, 000X Acceleration on Long Read Assembly

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model

Manuel Rigger, Roland Schatz, René Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck

Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model

Details
Discussion Comments: 0
Verification: Authors have not verified information

Watching for Software Inefficiencies with Witch

Shasha Wen, Xu Liu, John Byrne, Milind Chabbi

Watching for Software Inefficiencies with Witch

Details
Discussion Comments: 0
Verification: Authors have not verified information

CALOREE: Learning Control for Predictable Latency and Low Energy

Nikita Mishra, Connor Imes, John D. Lafferty, Henry Hoffmann

CALOREE: Learning Control for Predictable Latency and Low Energy

Details
Discussion Comments: 0
Verification: Authors have not verified information

MAERI: Enabling Flexible Dataflow Mapping over DNN Accelerators via Reconfigurable Interconnects

Hyoukjun Kwon, Ananda Samajdar, Tushar Krishna

MAERI: Enabling Flexible Dataflow Mapping over DNN Accelerators via Reconfigurable Interconnects

Details
Discussion Comments: 0
Verification: Authors have not verified information

Gloss: Seamless Live Reconfiguration and Reoptimization of Stream Programs

Sumanaruban Rajadurai, Jeffrey Bosboom, Weng-Fai Wong, Saman P. Amarasinghe

Gloss: Seamless Live Reconfiguration and Reoptimization of Stream Programs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Time Dilation and Contraction for Programmable Analog Devices with Jaunt

Sara Achour, Martin Rinard

Time Dilation and Contraction for Programmable Analog Devices with Jaunt

Details
Discussion Comments: 0
Verification: Authors have not verified information

LTRF: Enabling High-Capacity Register Files for GPUs via Hardware/Software Cooperative Register Prefetching

Mohammad Sadrosadati, Amirhossein Mirhosseini, Seyed Borna Ehsani, Hamid Sarbazi-Azad, Mario Drumond, Babak Falsafi, Rachata Ausavarungnirun, Onur Mutlu

LTRF: Enabling High-Capacity Register Files for GPUs via Hardware/Software Cooperative Register Prefetching

Details
Discussion Comments: 0
Verification: Authors have not verified information

Hardware Multithreaded Transactions

Jordan Fix, Nayana P. Nagendra, Sotiris Apostolakis, Hansen Zhang, Sophie Qiu, David I. August

Hardware Multithreaded Transactions

Details
Discussion Comments: 0
Verification: Authors have not verified information

Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory

Mingyu Wu, Ziming Zhao, Haoyu Li, Heting Li, Haibo Chen, Binyu Zang, Haibing Guan

Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory

Details
Discussion Comments: 0
Verification: Authors have not verified information

FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware

Yaniv David, Nimrod Partush, Eran Yahav

FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware

Details
Discussion Comments: 0
Verification: Authors have not verified information

Automatic Hierarchical Parallelization of Linear Recurrences

Sepideh Maleki, Martin Burtscher

Automatic Hierarchical Parallelization of Linear Recurrences

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

NEOFog: Nonvolatility-Exploiting Optimizations for Fog Computing

Kaisheng Ma, Xueqing Li, Mahmut Taylan Kandemir, Jack Sampson, Vijaykrishnan Narayanan, Jinyang Li, Tongda Wu, Zhibo Wang, Yongpan Liu, Yuan Xie

NEOFog: Nonvolatility-Exploiting Optimizations for Fog Computing

Details
Discussion Comments: 0
Verification: Authors have not verified information

Understanding and Auto-Adjusting Performance-Sensitive Configurations

Shu Wang, Chi Li, Henry Hoffmann, Shan Lu, William Sentosa, Achmad Imam Kistijantoro

Understanding and Auto-Adjusting Performance-Sensitive Configurations

Details
Discussion Comments: 0
Verification: Authors have not verified information

Liquid Silicon-Monona: A Reconfigurable Memory-Oriented Computing Fabric with Scalable Multi-Context Support

Yue Zha, Jing Li

Liquid Silicon-Monona: A Reconfigurable Memory-Oriented Computing Fabric with Scalable Multi-Context Support

Details
Discussion Comments: 0
Verification: Authors have not verified information

DLibOS: Performance and Protection with a Network-on-Chip

Stephen Mallon, Vincent Gramoli, Guillaume Jourjon

DLibOS: Performance and Protection with a Network-on-Chip

Details
Discussion Comments: 0
Verification: Authors have not verified information

vbench: Benchmarking Video Transcoding in the Cloud

Andrea Lottarini, Alex Ramírez, Joel Coburn, Martha A. Kim, Parthasarathy Ranganathan, Daniel Stodolsky, Mark Wachsler

vbench: Benchmarking Video Transcoding in the Cloud

Details
Discussion Comments: 0
Verification: Authors have not verified information

An Event-Triggered Programmable Prefetcher for Irregular Workloads

Sam Ainsworth, Timothy M. Jones

An Event-Triggered Programmable Prefetcher for Irregular Workloads

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel

Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, Alan S. Stern

Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel

Details
Discussion Comments: 0
Verification: Authors have not verified information

Wonderland: A Novel Abstraction-Based Out-Of-Core Graph Processing System

Mingxing Zhang, Yongwei Wu, Youwei Zhuo, Xuehai Qian, Chengying Huan, Kang Chen

Wonderland: A Novel Abstraction-Based Out-Of-Core Graph Processing System

Details
Discussion Comments: 0
Verification: Authors have not verified information

StrongBox: Confidentiality, Integrity, and Performance using Stream Ciphers for Full Drive Encryption

Bernard Dickens III, Haryadi S. Gunawi, Ariel J. Feldman, Henry Hoffmann

StrongBox: Confidentiality, Integrity, and Performance using Stream Ciphers for Full Drive Encryption

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

VAULT: Reducing Paging Overheads in SGX with Efficient Integrity Verification Structures

Meysam Taassori, Ali Shafiee, Rajeev Balasubramonian

VAULT: Reducing Paging Overheads in SGX with Efficient Integrity Verification Structures

Details
Discussion Comments: 0
Verification: Authors have not verified information

FCatch: Automatically Detecting Time-of-fault Bugs in Cloud Systems

Haopeng Liu, Xu Wang, Guangpu Li, Shan Lu, Feng Ye, Chen Tian

FCatch: Automatically Detecting Time-of-fault Bugs in Cloud Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Tigr: Transforming Irregular Graphs for GPU-Friendly Graph Processing

Amir Hossein Nodehi Sabet, Junqiao Qiu, Zhijia Zhao

Tigr: Transforming Irregular Graphs for GPU-Friendly Graph Processing

Details
Discussion Comments: 0
Verification: Authors have not verified information

Static Detection of Event-based Races in Android Apps

Yongjian Hu, Iulian Neamtiu

Static Detection of Event-based Races in Android Apps

Details
Discussion Comments: 0
Verification: Authors have not verified information

Blasting through the Front-End Bottleneck with Shotgun

Rakesh Kumar, Boris Grot, Vijay Nagarajan

Blasting through the Front-End Bottleneck with Shotgun

Details
Discussion Comments: 0
Verification: Authors have not verified information

SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably

Christian DeLozier, Ariel Eizenberg, Brandon Lucia, Joseph Devietti

SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably

Details
Discussion Comments: 0
Verification: Authors have not verified information

Quantum Computing is Getting Real: Architecture, PL, and OS Roles in Closing the Gap between Quantum Algorithms and Machines

Frederic T. Chong

Quantum Computing is Getting Real: Architecture, PL, and OS Roles in Closing the Gap between Quantum Algorithms and Machines

Details
Discussion Comments: 0
Verification: Author has not verified information

Filtering Translation Bandwidth with Virtual Caching

Hongil Yoon, Jason Lowe-Power, Gurindar S. Sohi

Filtering Translation Bandwidth with Virtual Caching

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management

Amir M. Rahmani, Bryan Donyanavard, Tiago Mück, Kasra Moazzemi, Axel Jantsch, Onur Mutlu, Nikil D. Dutt

SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management

Details
Discussion Comments: 0
Verification: Authors have not verified information

Potluck: Cross-Application Approximate Deduplication for Computation-Intensive Mobile Applications

Peizhen Guo, Wenjun Hu

Potluck: Cross-Application Approximate Deduplication for Computation-Intensive Mobile Applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

Unconventional Parallelization of Nondeterministic Applications

Enrico Armenio Deiana, Vincent St-Amour, Peter A. Dinda, Nikos Hardavellas, Simone Campanoni

Unconventional Parallelization of Nondeterministic Applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

Devirtualizing Memory in Heterogeneous Systems

Swapnil Haria, Mark D. Hill, Michael M. Swift

Devirtualizing Memory in Heterogeneous Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

In-Memory Data Parallel Processor

Daichi Fujiki, Scott A. Mahlke, Reetuparna Das

In-Memory Data Parallel Processor

Details
Discussion Comments: 0
Verification: Authors have not verified information

DATS - Data Containers for Web Applications

Casen Hunger, Lluís Vilanova, Charalampos Papamanthou, Yoav Etsion, Mohit Tiwari

DATS - Data Containers for Web Applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

MASK: Redesigning the GPU Memory Hierarchy to Support Multi-Application Concurrency

Rachata Ausavarungnirun, Vance Miller, Joshua Landgraf, Saugata Ghose, Jayneel Gandhi, Adwait Jog, Christopher J. Rossbach, Onur Mutlu

MASK: Redesigning the GPU Memory Hierarchy to Support Multi-Application Concurrency

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Google Workloads for Consumer Devices: Mitigating Data Movement Bottlenecks

Amirali Boroumand, Saugata Ghose, Youngsok Kim, Rachata Ausavarungnirun, Eric Shiu, Rahul Thakur, Daehyun Kim, Aki Kuusela, Allan Knies, Parthasarathy Ranganathan, Onur Mutlu

Google Workloads for Consumer Devices: Mitigating Data Movement Bottlenecks

Details
Discussion Comments: 0
Verification: Authors have not verified information

DAMN: Overhead-Free IOMMU Protection for Networking

Alex Markuze, Igor Smolyar, Adam Morrison, Dan Tsafrir

DAMN: Overhead-Free IOMMU Protection for Networking

Details
Discussion Comments: 0
Verification: Authors have not verified information

Skyway: Connecting Managed Heaps in Distributed Big Data Systems

Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing (Harry) Xu, Brian Demsky, Shan Lu

Skyway: Connecting Managed Heaps in Distributed Big Data Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

WSMeter: A Performance Evaluation Methodology for Google's Production Warehouse-Scale Computers

Jaewon Lee, Changkyu Kim, Kun Lin, Liqun Cheng, Rama Govindaraju, Jangwoo Kim

WSMeter: A Performance Evaluation Methodology for Google's Production Warehouse-Scale Computers

Details
Discussion Comments: 0
Verification: Authors have not verified information

Slim NoC: A Low-Diameter On-Chip Network Topology for High Energy Efficiency and Scalability

Maciej Besta, Syed Minhaj Hassan, Sudhakar Yalamanchili, Rachata Ausavarungnirun, Onur Mutlu, Torsten Hoefler

Slim NoC: A Low-Diameter On-Chip Network Topology for High Energy Efficiency and Scalability

Details
Discussion Comments: 0
Verification: Authors have not verified information

VIBNN: Hardware Acceleration of Bayesian Neural Networks

Ruizhe Cai, Ao Ren, Ning Liu, Caiwen Ding, Luhao Wang, Xuehai Qian, Massoud Pedram, Yanzhi Wang

VIBNN: Hardware Acceleration of Bayesian Neural Networks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Minnow: Lightweight Offload Engines for Worklist Management and Worklist-Directed Prefetching

Dan Zhang, Xiaoyu Ma, Michael Thomson, Derek Chiou

Minnow: Lightweight Offload Engines for Worklist Management and Worklist-Directed Prefetching

Details
Discussion Comments: 0
Verification: Authors have not verified information

The Architectural Implications of Autonomous Driving: Constraints and Acceleration

Shih-Chieh Lin, Yunqi Zhang, Chang-Hong Hsu, Matt Skach, Md Enamul Haque, Lingjia Tang, Jason Mars

The Architectural Implications of Autonomous Driving: Constraints and Acceleration

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

BranchScope: A New Side-Channel Attack on Directional Branch Predictor

Dmitry Evtyushkin, Ryan Riley, Nael B. Abu-Ghazaleh, Dmitry Ponomarev

BranchScope: A New Side-Channel Attack on Directional Branch Predictor

Details
Discussion Comments: 0
Verification: Authors have not verified information

Statistical Reconstruction of Class Hierarchies in Binaries

Omer Katz, Noam Rinetzky, Eran Yahav

Statistical Reconstruction of Class Hierarchies in Binaries

Details
Discussion Comments: 0
Verification: Authors have not verified information

SmoothOperator: Reducing Power Fragmentation and Improving Power Utilization in Large-scale Datacenters

Chang-Hong Hsu, Qingyuan Deng, Jason Mars, Lingjia Tang

SmoothOperator: Reducing Power Fragmentation and Improving Power Utilization in Large-scale Datacenters

Details
Discussion Comments: 0
Verification: Authors have not verified information

Making Huge Pages Actually Useful

Ashish Panwar, Aravinda Prasad, K. Gopinath

Making Huge Pages Actually Useful

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices

Alexei Colin, Emily Ruppel, Brandon Lucia

A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices

Details
Discussion Comments: 0
Verification: Authors have not verified information