Accepted Papers

A Compiler for Cyber-physical Digital Microfluidic Biochips
Christopher Curtis (University of California, Riverside), Daniel Grissom (Azusa Pacific University), Philip Brisk (University of California, Riverside)

Analyzing and Optimizing Task Granularity on the JVM
Andrea Rosà, Eduardo Rosales, Walter Binder (Università della Svizzera italiana)

Automating Efficient Variable-Grained Resiliency for Low-Power IoT Systems
Sara Baghsorkhi, Christos Margiolas (Intel)

AutoPA: Automatically Generating Active Driver from Original Passive Driver Code
Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu (Tsinghua University)

CollectionSwitch: A Framework for Efficient and Dynamic Collection Selection
Diego Costa, Artur Andrzejak (Heidelberg University)

Conflict-free Vectorization of Associative Irregular Applications with Recent SIMD Architectural Advances
Peng Jiang, Gagan Agrawal (The Ohio State University)

CUDAAdvisor: LLVM-based Runtime Profiling for Modern GPUs
Du Shen (College of William and Mary), Ang Li, Shuaiwen Leon Song (Pacific Northwest National Laboratory), Xu Liu (College of William and Mary)

CVR: Efficient Vectorization of SpMV on X86 Processors
Biwei Xie, Jianfeng Zhan (Institute of Computing Technology, Chinese Academy of Sciences), Xu Liu (College of William and Mary), Wanling Gao, Xiwen He (Institute of Computing Technology, Chinese Academy of Sciences), Zhen Jia (Princeton University), Lixin Zhang (Institute of Computing Technology, Chinese Academy of Sciences)

DeLICM: Scalar Memory Dependence Removal at Zero Memory Cost
Michael Kruse (Inria), Tobias Grosser (ETH Zürich)

Dominance-based Duplication Simulation (DBDS) - Code Duplication to Enable Compiler Optimizations
David Leopoldseder (Johannes Kepler University Linz), Lukas Stadler (Oracle Labs Linz), Thomas Würthinger (Oracle Labs Zurich), Josef Eisl (Johannes Kepler University Linz), Doug Simon (Oracle Labs Zurich), Hanspeter Mössenböck (Johannes Kepler University Linz)

Enabling Enclave Code Secrecy via Self-Modification
Erick Bauman, Huibo Wang (University of Texas at Dallas), Mingwei Zhang (Intel Research), Zhiqiang Lin (University of Texas at Dallas)

High Performance Stencil Code Generation with LIFT
Bastian Hagedorn (University of Münster), Larisa Stoltzfus (University of Edinburgh), Michel Steuwer (University of Glasgow), Sergei Gorlatch (University of Münster), Christophe Dubach (University of Edinburgh)

Lightweight Detection of Cache Conflicts
Probir Roy (College of William and Mary), Shuaiwen Leon Song, Sriram Krishnamoorthy (Pacific Northwest National Lab (PNNL)), Xu Liu (College of William and Mary)

Local Memory-Aware Kernel Perforation
Daniel Maier, Biagio Cosenza, Ben Juurlink (Technische Universität Berlin)

Look-ahead SLP: Auto-vectorization in the presence of commutative operations
Vasileios Porpodas (Intel), Rodrigo C. O. Rocha (University of Edinburgh), Luís Fabrício Wanderley Góes (Pontifícia Universidade Católica de Minas Gerais)

Loop Transformations Leveraging Hardware Prefetching
Savvas Sioutas, Sander Stuijk, Henk Corporaal, Twan Basten, Lou Somers (Eindhoven University of Technology)

May-Happen-in-Parallel Analysis with Static Vector Clocks
Qing Zhou, Lian Li, Lei Wang (Institute of Computing Technology, China), Jingling Xue (University of New South Wales, Australia), Xiaobing Feng (Institute of Computing Technology, China)

nAdroid: Statically Detecting Ordering Violations in Android Applications
Xinwei Fu, Dongyoon Lee, Changhee Jung (Virginia Tech)

Optimal DNN Primitive Selection with Partitioned Boolean Quadratic Programming
Andrew Anderson, David Gregg (Trinity College Dublin)

Poker: Permutation-based SIMD Execution of Intensive Tree Search by Path Encoding
Feng Zhang, Jingling Xue (UNSW)

Program Generation for Small-Scale Linear Algebra Applications
Daniele G. Spampinato (ETH Zürich, Switzerland), Diego Fabregat-Traver, Paolo Bientinesi (RWTH Aachen, Germany), Markus Püschel (ETH Zürich, Switzerland)

Qubit Allocation
Marcos Yukio Siraichi, Vinícius Fernandes dos Santos (UFMG), Sylvain Collange (INRIA), Fernando Magno Quintao Pereira (UFMG)

Register Allocation for Intel Processor Graphics
Wei-Yu Chen, Guei-Yuan Lueh, Pratik Ashar, Kai Yu Chen, Bu Qi Cheng (Intel)

Resilient Decentralized Android Application Repackaging Detection
Qiang Zeng (Temple University), Lannan Luo (University of South Carolina), Zhiyun Qian (University of California Riverside), Xiaojiang Du (Temple University), Zhoujun Li (Beihang University)

Scalable Concurrency Debugging with Distributed Graph Processing
Long Zheng, Xiaofei Liao, Hai Jin, Jieshan Zhao, Qinggang Wang (Huazhong University of Science and Technology)

SIMD Intrinsics on Managed Language Runtimes
Alen Stojanov, Ivaylo Toskov (ETH Zurich), Tiark Rompf (Purdue University), Markus Püschel (ETH Zurich)

Synthesizing an Instruction Selection Rule Library from Semantic Specifications
Sebastian Buchwald, Andreas Fried (Karlsruhe Institute of Technology), Sebastian Hack (Saarland University)

Synthesizing Programs that Expose Performance Bottlenecks
Luca Della Toffola (ETH Zurich), Michael Pradel (TU Darmstadt), Thomas R. Gross (ETH Zurich)

The Generalized Matrix Chain Algorithm
Henrik Barthels, Marcin Copik, Paolo Bientinesi (RWTH Aachen University)

Transforming Loop Chains via Macro Dataflow Graphs
Eddie C. Davis, Catherine RM. Olschanowsky (Boise State University), Michelle Mills Strout (University of Arizona), Eddie Davis (Boise State University)