CGO 2018 – Proceedings

Frontmatter

Keynote

Biological Computation (Keynote)
Sara-Jane Dunn
(Microsoft Research, UK)

Publisher's Version Article: cgo18main-a1-p doi:10.1145/3179541.3179542

Managed Runtimes

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

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated Article: cgo18main-p26-p doi:10.1145/3168810

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

Publisher's Version Article: cgo18main-p96-p doi:10.1145/3168825

Analyzing and Optimizing Task Granularity on the JVM
Andrea Rosà, Eduardo Rosales, and Walter Binder
(University of Lugano, Switzerland)

Publisher's Version Article: cgo18main-p112-p doi:10.1145/3168828

Resilience and Security

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

Publisher's Version Article: cgo18main-p47-p doi:10.1145/3168816

Resilient Decentralized Android Application Repackaging Detection Using Logic Bombs
Qiang Zeng, Lannan Luo, Zhiyun Qian, Xiaojiang Du, and Zhoujun Li
(Temple University, USA; University of South Carolina, USA; University of California at Riverside, USA; Beihang University, China)

Publisher's Version Article: cgo18main-p69-p doi:10.1145/3168820

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

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated Article: cgo18main-p120-p doi:10.1145/3168829

SGXElide: Enabling Enclave Code Secrecy via Self-Modification
Erick Bauman, Huibo Wang, Mingwei Zhang, and Zhiqiang Lin
(University of Texas at Dallas, USA; Intel Labs, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated Article: cgo18main-p142-p doi:10.1145/3168833

Best Paper Finalists

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

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated Article: cgo18main-p18-p doi:10.1145/3168808

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

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated Article: cgo18main-p93-p doi:10.1145/3168824

Qubit Allocation
Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Sylvain Collange, and Fernando Magno Quintao Pereira
(Federal University of Minas Gerais, Brazil; Inria, France; University of Rennes, France; CNRS, France; IRISA, France)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated Article: cgo18main-p87-p doi:10.1145/3168822

Dominance-Based Duplication Simulation (DBDS): Code Duplication to Enable Compiler Optimizations
David Leopoldseder, Lukas Stadler, Thomas Würthinger, Josef Eisl, Doug Simon, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Austria; Oracle Labs, Switzerland)

Publisher's Version Article: cgo18main-p31-p doi:10.1145/3168811

Linear Algebra and Vectorization

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

Publisher's Version Article: cgo18main-p12-p doi:10.1145/3168804

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

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated Article: cgo18main-p58-p doi:10.1145/3168818

Look-Ahead SLP: Auto-vectorization in the Presence of Commutative Operations
Vasileios Porpodas, Rodrigo C. O. Rocha, and Luís F. W. Góes
(Intel, USA; University of Edinburgh, UK; PUC-MG, Brazil)

Publisher's Version Article: cgo18main-p16-p doi:10.1145/3168807

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

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated Article: cgo18main-p108-p doi:10.1145/3168827

Static and Dynamic Analysis

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

Publisher's Version Article: cgo18main-p51-p doi:10.1145/3168817

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

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated Article: cgo18main-p62-p doi:10.1145/3168819

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

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated Article: cgo18main-p135-p doi:10.1145/3168831

May-Happen-in-Parallel Analysis with Static Vector Clocks
Qing Zhou, Lian Li, Lei Wang, Jingling Xue, and Xiaobing Feng
(Institute of Computing Technology at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; UNSW, Australia)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated Article: cgo18main-p33-p doi:10.1145/3168813

Memory Usage Optimisation

DeLICM: Scalar Dependence Removal at Zero Memory Cost
Michael Kruse and Tobias Grosser
(Inria, France; ETH Zurich, Switzerland)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated Article: cgo18main-p45-p doi:10.1145/3168815

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

Publisher's Version Article: cgo18main-p91-p doi:10.1145/3168823

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

Publisher's Version Article: cgo18main-p137-p doi:10.1145/3168832

Local Memory-Aware Kernel Perforation
Daniel Maier, Biagio Cosenza, and Ben Juurlink
(TU Berlin, Germany)

Publisher's Version Article: cgo18main-p42-p doi:10.1145/3168814

Program Generation and Synthesis

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

Publisher's Version Article: cgo18main-p22-p doi:10.1145/3168809

Synthesizing an Instruction Selection Rule Library from Semantic Specifications
Sebastian Buchwald, Andreas Fried, and Sebastian Hack
(KIT, Germany; Saarland University, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated Article: cgo18main-p81-p doi:10.1145/3168821

Synthesizing Programs That Expose Performance Bottlenecks
Luca Della Toffola, Michael Pradel, and Thomas R. Gross
(ETH Zurich, Switzerland; TU Darmstadt, Germany)

Publisher's Version Article: cgo18main-p128-p doi:10.1145/3168830

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

Publisher's Version Article: cgo18main-p32-p doi:10.1145/3168812

Compilation for Specialised Domains

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

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated Article: cgo18main-p13-p doi:10.1145/3168805

Register Allocation for Intel Processor Graphics
Wei-Yu Chen, Guei-Yuan Lueh, Pratik Ashar, Kaiyu Chen, and Buqi Cheng
(Intel, USA; Intel, India)

Publisher's Version Article: cgo18main-p14-p doi:10.1145/3168806

A Compiler for Cyber-Physical Digital Microfluidic Biochips
Christopher Curtis, Daniel Grissom, and Philip Brisk
(University of California at Riverside, USA; Azusa Pacific University, USA)

Publisher's Version Published Artifact Artifacts Available Article: cgo18main-p98-p doi:10.1145/3168826

proc time: 0.05