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 – Advance Table of Contents

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

Keynote

Biological Computation (Keynote)
Sara-Jane Dunn
(Microsoft Research, USA)
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)
Article Search Artifacts Reusable acm results replicated
CollectionSwitch: A Framework for Efficient and Dynamic Collection Selection
Diego Costa and Artur Andrzejak
(University of Heidelberg, Germany)
Article Search
Analyzing and Optimizing Task Granularity on the JVM
Andrea Rosà, Eduardo Rosales, and Walter Binder
(University of Lugano, Switzerland)
Article Search

Resilience and Security

Automating Efficient Variable-Grained Resiliency for Low-Power IoT Systems
Sara S. Baghsorkhi and Christos Margiolas
(Intel, USA)
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)
Article Search
nAdroid: Statically Detecting Ordering Violations in Android Applications
Xinwei Fu, Dongyoon Lee, and Changhee Jung
(Virginia Tech, USA)
Article Search Artifacts Reusable acm 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)
Article Search Artifacts Functional acm results replicated

Best Paper Finalists

Poker: Permutation-Based SIMD Execution of Intensive Tree Search by Path Encoding
Feng Zhang and Jingling Xue
(UNSW, Australia)
Article Search Artifacts Reusable acm 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)
Article Search Info Artifacts Reusable acm 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)
Preprint Info Artifacts Reusable acm 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)
Preprint

Linear Algebra and Vectorization

The Generalized Matrix Chain Algorithm
Henrik Barthels, Marcin Copik, and Paolo Bientinesi
(RWTH Aachen University, Germany)
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)
Article Search Artifacts Functional acm 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)
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)
Article Search Artifacts Functional acm 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)
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)
Article Search Archive submitted (220 MB) Artifacts Available Artifacts Functional acm 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)
Article Search Artifacts Functional acm 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)
Article Search Artifacts Functional acm results replicated

Memory Usage Optimisation

DeLICM: Scalar Dependence Removal at Zero Memory Cost
Michael Kruse and Tobias Grosser
(Inria, France; ETH Zurich, Switzerland)
Article Search Info Artifacts Functional acm results replicated
Loop Transformations Leveraging Hardware Prefetching
Savvas Sioutas, Sander Stuijk, Henk Corporaal, Twan Basten, and Lou Somers
(Eindhoven University of Technology, Netherlands)
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)
Article Search
Local Memory-Aware Kernel Perforation
Daniel Maier, Biagio Cosenza, and Ben Juurlink
(TU Berlin, Germany)
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)
Article Search
Synthesizing an Instruction Selection Rule Library from Semantic Specifications
Sebastian Buchwald, Andreas Fried, and Sebastian Hack
(KIT, Germany; Saarland University, Germany)
Article Search Info Artifacts Reusable acm results replicated
Synthesizing Programs That Expose Performance Bottlenecks
Luca Della Toffola, Michael Pradel, and Thomas R. Gross
(ETH Zurich, Switzerland; TU Darmstadt, Germany)
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)
Article Search

Compilation for Specialised Domains

Optimal DNN Primitive Selection with Partitioned Boolean Quadratic Programming
Andrew Anderson and David Gregg
(Trinity College Dublin, Ireland)
Article Search Artifacts Functional acm 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)
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)
Article Search Archive submitted (710 MB) Artifacts Available

proc time: 3.34