CGO 2018
2018 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
Powered by
Conference Publishing Consulting

2018 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), February 24–28, 2018, Vienna, Austria

CGO 2018 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the General Chairs
Message from the Program Chairs
CGO 2018 Organization
Report from the Artifact Evaluation Committee
Sponsors and Supporters
Student Research Competition

Keynote

Biological Computation (Keynote)
Sara-Jane Dunn
(Microsoft Research, UK)
Publisher's Version Article Search

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 Article Search Artifacts Available Artifacts Reusable Results Replicated
CollectionSwitch: A Framework for Efficient and Dynamic Collection Selection
Diego Costa and Artur Andrzejak
(University of Heidelberg, Germany)
Publisher's Version Article Search
Analyzing and Optimizing Task Granularity on the JVM
Andrea Rosà, Eduardo Rosales, and Walter Binder
(University of Lugano, Switzerland)
Publisher's Version Article Search

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 Search
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 Search
nAdroid: Statically Detecting Ordering Violations in Android Applications
Xinwei Fu, Dongyoon Lee, and Changhee Jung
(Virginia Tech, USA)
Publisher's Version Article Search Artifacts Available Artifacts Reusable Results Replicated
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 Article Search Artifacts Available Artifacts Functional Results Replicated

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 Article Search Artifacts Available Artifacts Reusable Results Replicated
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 Article Search Info Artifacts Available Artifacts Reusable Results Replicated
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 Article Search Info Artifacts Available Artifacts Reusable Results Replicated
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 Search

Linear Algebra and Vectorization

The Generalized Matrix Chain Algorithm
Henrik Barthels, Marcin Copik, and Paolo Bientinesi
(RWTH Aachen University, Germany)
Publisher's Version Article Search
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 Article Search Artifacts Available Artifacts Functional Results Replicated
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 Search
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 Article Search Artifacts Available Artifacts Functional Results Replicated

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 Search
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 Article Search Artifacts Available Artifacts Functional Results Replicated
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 Article Search Artifacts Available Artifacts Functional Results Replicated
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 Article Search Artifacts Available Artifacts Functional Results Replicated

Memory Usage Optimisation

DeLICM: Scalar Dependence Removal at Zero Memory Cost
Michael Kruse and Tobias Grosser
(Inria, France; ETH Zurich, Switzerland)
Publisher's Version Article Search Info Artifacts Available Artifacts Functional Results Replicated
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 Search
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 Search
Local Memory-Aware Kernel Perforation
Daniel Maier, Biagio Cosenza, and Ben Juurlink
(TU Berlin, Germany)
Publisher's Version Article Search

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 Search
Synthesizing an Instruction Selection Rule Library from Semantic Specifications
Sebastian Buchwald, Andreas Fried, and Sebastian Hack
(KIT, Germany; Saarland University, Germany)
Publisher's Version Article Search Info Artifacts Available Artifacts Reusable Results Replicated
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 Search
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 Search

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 Article Search Artifacts Available Artifacts Functional Results Replicated
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 Search
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 Article Search Artifacts Available

proc time: 3.52